Def CategoryTheory.Functor.IsEquivalence.Iso.isoInverseComp

Modification history