Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
Numbers
Repository
Branches
Overview
Active
Stale
All
Stale branches
18-neutral-and-inverse-elements
e99d6988
·
solved quoteq_reflexive and quoteq_symmetric
·
Jul 25, 2023
!3
main
default
protected
aa507b4f
·
correct definition of quoteq \
·
Aug 16, 2023
8-finish-current-theorems-in-q
d5ff2fcb
·
started quoteq transitivity
·
Aug 16, 2023
!2
mulZ_diffeq_Z0
126cc43f
·
first try on mulZ_diffeq_Z0, aborted, some changes on diffeq_Z0 again
·
Aug 20, 2023
tryLeo
86d39449
·
zwei admits
·
Aug 28, 2023