Theorem CategoryTheory.Functor.CorepresentableBy.homEquiv_eq

Modification history