Theorem SSet.StrictSegal.spine_spineToSimplex_apply

Modification history