Theorem SimpleGraph.Subgraph.IsPerfectMatching.exists_of_isClique_supp

Modification history