Theorem SSet.StrictSegal.spineToSimplex_interval

Modification history