Theorem SimpleGraph.odd_card_iff_odd_components

Modification history

2024-08-23 02:52

Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkCounting.lean

chore(SimpleGraph): fix `DecidableEq`/`Fintype` assumptions (#16079) …

Modified SimpleGraph.odd_card_iff_odd_components View on Github →

2024-07-26 11:21

Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkCounting.lean

feat({Algebra/BigOperators,Combinatorics/SimpleGraph}): Odd cardinality of odd components (#14623) …

Added SimpleGraph.odd_card_iff_odd_components View on Github →