Theorem CategoryTheory.Functor.whiskerRight_twice

Modification history