Theorem CategoryTheory.Localization.Monoidal.whiskerLeft_id

Modification history