Theorem SimpleGraph.Subgraph.IsMatching.not_adj_left_of_ne

Modification history