Theorem CategoryTheory.Adjunction.mkOfHomEquiv_homEquiv

Modification history