Theorem SSet.Truncated.StrictSegal.spineToSimplex_edge

Modification history