Theorem SSet.StrictSegal.spine_δ_vertex_lt

Modification history