Def CategoryTheory.Functor.whiskerRight

Modification history