Theorem CategoryTheory.Functor.whiskerLeft_comp

Modification history