Def CategoryTheory.Monoidal.toTransported

Modification history