Theorem CategoryTheory.Localization.Monoidal.triangle_aux₃

Modification history