Theorem SimpleGraph.disjiUnion_supp_toFinset_eq_supp_toFinset

Modification history

2026-03-18 23:07

Mathlib/Combinatorics/SimpleGraph/Connectivity/Finite.lean

chore(Combinatorics/SimpleGraph): move `WalkDecomp` and `WalkCounting` to `Walks` (#36819) …

Modified SimpleGraph.disjiUnion_supp_toFinset_eq_supp_toFinset View on Github →

2024-08-27 11:07

Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkCounting.lean

feat(Combinatorics/SimpleGraph): Add lemma about number of odd subcomponents (#15539) …

Added SimpleGraph.disjiUnion_supp_toFinset_eq_supp_toFinset View on Github →