Def CategoryTheory.Functor.IsEquivalence.Iso.isoCompInverse

Modification history