Theorem SimpleGraph.dist_eq_sInf

Modification history