Theorem SSet.Truncated.StrictSegal.spineToSimplex_spine_apply

Modification history