Theorem SimpleGraph.edist_eq_sInf

Modification history