Theorem CategoryTheory.Functor.RepresentableBy.homEquiv_eq

Modification history