Theorem SSet.Truncated.spine_vertex

Modification history