Theorem SSet.Truncated.Path.map_vertex

Modification history