Theorem SimpleGraph.dist_le

Modification history