Theorem SSet.StrictSegal.spineToSimplex_edge

Modification history