Def CategoryTheory.wiskeringRightObjIdIso

Modification history