Def CategoryTheory.whiskeringRightObjCompIso

Modification history