Theorem SimpleGraph.mem_support_of_reachable

Modification history