Skip to content
GitLab
Explore
Sign in
Leonard Guetta
memoire
Repository
memoire
mystyle.sty
Find file
Blame
History
Permalink
Ok, I gave the definition of oo-categories
· 70c44319
Leonard Guetta
authored
Jan 13, 2020
70c44319