Theorem CategoryTheory.Localization.Monoidal.whiskerLeft_comp

Modification history