Theorem SSet.Path.map_vertex

Modification history