Structure CategoryTheory.Monoidal.InducingFunctorData

Modification history