Theorem SSet.Truncated.StrictSegal.spine_spineToSimplex_apply

Modification history