Def CategoryTheory.Adjunction.equivHomsetRightOfNatIso

Modification history