Def CategoryTheory.Equivalence.changeInverse

Modification history