Theorem SimpleGraph.Subgraph.IsMatching.even_card

Modification history