Theorem CategoryTheory.Localization.Monoidal.associator_naturality₁

Modification history