Theorem CategoryTheory.Functor.whiskerRight_left

Modification history