Def CategoryTheory.IsEquivalence.cancelCompRight

Modification history