Theorem SSet.StrictSegal.spineToSimplex_map

Modification history