Theorem SimpleGraph.dist_self

Modification history