Theorem SimpleGraph.Subgraph.IsMatching.not_adj_right_of_ne

Modification history