Theorem SimpleGraph.Walk.toSubgraph_le_induce_support

Modification history