Commit 2024-08-27 11:07 f5539c67

View on Github →

feat(Combinatorics/SimpleGraph): Add lemma about number of odd subcomponents (#15539) Added lemma that the number of odd components contained within a component in a bigger graph is odd iff the bigger component is odd. In preparation for Tuttes.

Estimated changes