Theorem SimpleGraph.reachable_is_equivalence

Modification history