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