Theorem SSet.stdSimplex.face_inter_face

Modification history