Theorem CategoryTheory.Localization.Monoidal.triangle_aux₂

Modification history