Revision #2254 → #2903 · back to history
modifiedGraph minore040838337d7
| Field | From #2254 | To #2903 |
|---|
| mathlib.match_kind | — | generalization |
modifiedEdge contractiond2f63c264ff2
| Field | From #2254 | To #2903 |
|---|
| mathlib.match_kind | — | generalization |
modifiedMinor (formal)48a02c4983c1
| Field | From #2254 | To #2903 |
|---|
| mathlib.match_kind | — | generalization |
modifiedOrder independence of contractions and deletionscabb628d6ed5
| Field | From #2254 | To #2903 |
|---|
| mathlib.match_kind | — | generalization |
modifiedRank under deletion and contractioneeeafbbb4619
| Field | From #2254 | To #2903 |
|---|
| mathlib.match_kind | — | generalization |
modifiedMinor relation is a partial orderc24b2dc5de2b
| Field | From #2254 | To #2903 |
|---|
| mathlib.match_kind | — | generalization |
modifiedRobertson–Seymour well-quasi-ordering (Wagner's conjecture)907dd497d64c
| Field | From #2254 | To #2903 |
|---|
| mathlib.match_kind | — | generalization |
addedAverage degree and degeneracy bounds for H-minor-free graphs20d40c94ecae
modifiedImmersion minor relation is a well-quasi-ordering256283f301e2
| Field | From #2254 | To #2903 |
|---|
| mathlib.match_kind | — | generalization |
addedImproved O(n^2) minor testing069d28f05d6c