Optimize proof of `equiv-natural-isomorphism-htpy-map-is-category-Pre… #375
fredrik-bakkeAnnotations
2 warnings
|
website (2.6.3)
New version for mdbook-katex available: 0.5.8
|
|
website (2.6.3)
New version for mdbook-catppuccin available: 2.1.0
|