Will Lean mathlib have a definition of graph minors by the end of 2024?
Basic
5
Ṁ1014resolved Dec 31
Resolved
NO1D
1W
1M
ALL
An analogous “minor map” definition exists in Coq. However, it’s up for debate whether we want to adopt that definition or something else.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ130 | |
| 2 | Ṁ12 |