Structure CategoryTheory.Functor.CorepresentableBy

Modification history