Def CategoryTheory.whiskeringLeftObjCompIso

Modification history