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.