Def CategoryTheory.Functor.IsEquivalence.Iso.compInvIso

Modification history