Def SSet.stdSimplex.obj₀Equiv

Modification history