Theorem SimpleGraph.Subgraph.IsPerfectMatching.toSubgraph_spanningCoe_iff

Modification history