Theorem CategoryTheory.Equivalence.changeFunctor_refl

Modification history