Def CategoryTheory.Functor.whiskeringLeft₃ObjObjMap

Modification history