Def SSet.standardSimplex.spineId

Modification history