Theorem CategoryTheory.Localization.Monoidal.associator_naturality₂

Modification history