Def CategoryTheory.Functor.whiskerLeft

Modification history