Theorem CategoryTheory.Localization.Monoidal.whiskerRight_comp

Modification history