Def CategoryTheory.Functor.IsEquivalence.Iso.isoInvComp

Modification history