Def CategoryTheory.whiskeringLeft₃ObjObjObj

Modification history