Theorem SSet.Truncated.StrictSegal.spineToSimplex_arrow

Modification history