Def SSet.stdSimplex.faceRepresentableBy

Modification history