Def CategoryTheory.Adjunction.rightAdjointOfNatIso

Modification history