Theorem SimpleGraph.subgraphOfAdj_connected

Modification history