Theorem SimpleGraph.map_le_of_subsingleton

Modification history