Theorem SSet.StrictSegal.spineToSimplex_spine_apply

Modification history