Theorem SSet.Subcomplex.ofSimplex_le_iff

Modification history