Theorem CategoryTheory.Functor.whiskerLeft_twice

Modification history