Theorem CategoryTheory.Functor.CorepresentableBy.isCorepresentable

Modification history