Commit 2024-11-18 16:07 277fb944

View on Github →

feat(Combinatorics/SimpleGraph/Matching): add IsPerfectMatching.toSubgraph_spanningCoe_iff (#19094) Just a small lemma about perfect matchings and spanningCoe. In preparation for Tutte's theorem.

Estimated changes