Theorem SimpleGraph.Subgraph.IsPerfectMatching.toSubgraph_iff

Modification history