Skip to content

Optimize proof of `equiv-natural-isomorphism-htpy-map-is-category-Pre… #375

Optimize proof of `equiv-natural-isomorphism-htpy-map-is-category-Pre…

Optimize proof of `equiv-natural-isomorphism-htpy-map-is-category-Pre… #375