Structure CategoryTheory.PrelaxFunctorStruct

Modification history