mathlib
cc0e4024 - Merge branch 'master' into graphs_num_comps

Commit

3 years ago

Merge branch 'master' into graphs_num_comps

References

graphs_num_comps

#17654 - feat(combinatorics/simple_graph/connectivity): number of connected components when deleting edges

Author

tjeremie

tjeremie

Parents

Loading