Def CategoryTheory.Equivalence.symmEquiv

Modification history