mathlib3
d2a1e993
- Some fixes
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Some fixes
References
#17654 - feat(combinatorics/simple_graph/connectivity): number of connected components when deleting edges
Author
tjeremie
Parents
9b8ea62f
Loading
