Def SSet.stdSimplex.spineId

Modification history