Theorem CategoryTheory.Localization.Monoidal.associator_naturality₃

Modification history