Structure CategoryTheory.Functor.RepresentableBy

Modification history