Theorem CategoryTheory.Functor.whiskerRight_comp

Modification history