Theorem CategoryTheory.Adjunction.comp_homEquiv

Modification history