Def CategoryTheory.Functor.IsEquivalence.cancelCompLeft

Modification history