Theorem CategoryTheory.Localization.Monoidal.triangle

Modification history