Theorem SimpleGraph.Subgraph.IsMatching.toEdge_eq_toEdge_of_adj

Modification history