Theorem SimpleGraph.edist_le

Modification history