Structure CategoryTheory.Presieve.FunctorPushforwardStructure

Modification history