Theorem CategoryTheory.Localization.Monoidal.associator_naturality

Modification history