Compare commits

..

No commits in common. "main" and "test" have entirely different histories.
main ... test

View File

@ -77,9 +77,9 @@
\providecommand{\Hom}{\mathsf{Hom}}
\providecommand{\id}{\mathsf{id}}
\providecommand{\op}{\mathsf{op}}
\providecommand{\comp}{\circ}
\providecommand{\iso}{\cong}
\providecommand{\tensor}{\otimes}
\providecommand{\comp}{\mathbin{\circ}}
\providecommand{\iso}{\mathbin{\cong}}
\providecommand{\tensor}{\mathbin{\otimes}}
\providecommand{\unit}{\star}
\providecommand{\bang}{\operatorname!} % Initial/final map