mathlib3
19830652 - Finished edits for first round of comments

Commit

3 years ago

Finished edits for first round of comments

References

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

Author

tjeremie

tjeremie

Parents

Loading