Theorem SSet.Truncated.spine_map_vertex

Modification history