Def CategoryTheory.Equivalence.symmEquivFunctor

Modification history