Theorem SSet.spine_map_vertex

Modification history