Def CategoryTheory.Equivalence.symmEquivInverse

Modification history