Theorem SSet.Truncated.StrictSegal.spineToSimplex_interval

Modification history