Theorem SimpleGraph.Subgraph.IsMatching.toEdge_eq_of_adj

Modification history