Theorem CategoryTheory.Monoidal.whiskerLeft_app

Modification history