Def CategoryTheory.Functor.representableByEquiv

Modification history