Theorem SSet.Truncated.StrictSegal.spineToSimplex_map

Modification history