mathlib
7d78430b
- merge master
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
merge master
References
#18685 - feat(combinatorics.simple_graph.acyclic): Trees are maximal acyclic, resp. minimal connected graphs.
Author
bottine
Parents
4e1a594e
b31173ee
Loading
