Theorem SSet.stdSimplex.mem_face_iff

Modification history