Def CategoryTheory.IsEquivalence.cancelCompLeft

Modification history