Theorem CategoryTheory.Functor.whiskerLeft_comp_whiskerRight

Modification history