Theorem CategoryTheory.Adjunction.mk'_homEquiv

Modification history