Def CategoryTheory.Monoidal.transportStruct

Modification history