Theorem CategoryTheory.Functor.whiskerRight_id

Modification history