Skip to content

feat(Combinatorics/SimpleGraph/Connectivity): add edge reachability and connectivity numbers - #42494

Open
JadAbouHawili wants to merge 76 commits into
leanprover-community:masterfrom
JadAbouHawili:graph-theory
Open

feat(Combinatorics/SimpleGraph/Connectivity): add edge reachability and connectivity numbers#42494
JadAbouHawili wants to merge 76 commits into
leanprover-community:masterfrom
JadAbouHawili:graph-theory

simpler proof

aa9e05e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Aug 18, 2026 in 1m 32s