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