Def CategoryTheory.whiskeringRightObjIdIso

Modification history