mathlib3
3c6ca2e9 - Update src/combinatorics/simple_graph/connectivity.lean

Commit

3 years ago

Update src/combinatorics/simple_graph/connectivity.lean Co-authored-by: Kyle Miller <kmill31415@gmail.com>

References

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

Author

tjeremie

tjeremie

Parents

Loading