Theorem CategoryTheory.Localization.Monoidal.associator_hom_app

Modification history