Theorem CategoryTheory.Localization.Monoidal.whisker_exchange

Modification history