Theorem SimpleGraph.Subgraph.IsMatching.eq_of_adj_right

Modification history