Def CategoryTheory.Functor.corepresentableByEquiv

Modification history