Theorem SSet.Truncated.StrictSegal.spine_δ_vertex_ge

Modification history