Def CategoryTheory.Functor.whiskeringLeft₃ObjMap

Modification history