Def CategoryTheory.Monoidal.fromInduced

Modification history