Def SSet.stdSimplex.isoOfRepresentableBy

Modification history