Skip to content
GitLab
Explore
Sign in
SMGloM
tannakian
Repository
tannakian
source
tannakian-symbol.en.tex
Find file
Blame
History
Permalink
getting rid of \nappa and \minset
· 72bcdea9
Michael Kohlhase
authored
Dec 29, 2021
72bcdea9