Def CategoryTheory.Localization.Monoidal.toMonoidalCategory

Modification history