Def CategoryTheory.Functor.IsEquivalence.Iso.invCompIso

Modification history