Theorem SimpleGraph.Subgraph.IsMatching.eq_of_adj_left

Modification history