Def CategoryTheory.Functor.IsEquivalence.equivOfIso

Modification history