Def CategoryTheory.Functor.whiskeringLeft₃ObjObjObj

Modification history