Def SSet.stdSimplex.objEquiv

Modification history