Theorem SimpleGraph.reachable_iff_reflTransGen

Modification history