Theorem SSet.Truncated.StrictSegal.spineToSimplex_vertex

Modification history