Theorem CategoryTheory.Functor.whiskerLeft_id

Modification history