Def CategoryTheory.Adjunction.ofNatIsoLeft

Modification history