mathlib3
feat(combinatorics/simple_graph/connectivity): number of connected components when deleting edges
#17654
Open
Open
feat(combinatorics/simple_graph/connectivity): number of connected components when deleting edges #17654
tjeremie
wants to merge
11 commits into
master
from
graphs_num_comps
feat(combinatorics/simple_graph/):number of connected components
b51ca84e
Fix style
879e1a1b
Fix style (again)
afdab727
Added equivalence between connected and having 1 component
07d8318f
Line too long in last commit
9b8ea62f
kmill
changed the title
Update src/combinatorics/simple_graph/connectivity.lean
3c6ca2e9
Some fixes
d2a1e993
Merge branch 'graphs_num_comps' of https://github.com/leanprover-comm…
cdf4085b
Finished edits for first round of comments
19830652
Formatting fixes
c82dc978
Merge branch 'master' into graphs_num_comps
cc0e4024
Reviewers
Assignees
No one assigned
Labels
awaiting-review
t-combinatorics
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub