Theorem SSet.spine_vertex

Modification history