Theorem SimpleGraph.Subgraph.IsPerfectMatching.induce_connectedComponent_isMatching

Modification history