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.
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.