Def CategoryTheory.Adjunction.equivHomsetLeftOfNatIso

Modification history