Theorem CategoryTheory.Localization.Monoidal.pentagon

Modification history