Def CategoryTheory.Adjunction.ofNatIsoRight

Modification history