Theorem CategoryTheory.Functor.whiskerRight_id'

Modification history