Skip to content
GitLab
Explore
Sign in
SMGloM
tannakian
Repository
tannakian
source
tannakian-symbol.en.tex
Find file
Blame
History
Permalink
undoing preamble changes from yesterday, they cannot work
· 391e3f03
Michael Kohlhase
authored
Jun 28, 2021
391e3f03