Def CategoryTheory.Functor.whiskeringLeft

Modification history