Revision #2408 → #3066 · back to history
modifiedSchröder–Hipparchus numbers4d7adc7bae0f
| Field | From #2408 | To #3066 |
|---|
| note | No Schröder–Hipparchus number declaration found in Mathlib. | Grep for `Schröder`/`Hipparchus` in Mathlib returns no hits. |
addedPermutation and combination formulas632571527418
addedClosed formula for binomial coefficientsf6c0527512d4
modifiedFour color theorem59c7173b5eff
| Field | From #2408 | To #3066 |
|---|
| note | The four color theorem is not formalized in Mathlib (Gonthier's Coq proof is separate). | Grep for `FourColor`/`four.color` returns no hits in Mathlib. |
modifiedTutte polynomial6b334f70ae3c
| Field | From #2408 | To #3066 |
|---|
| note | No Tutte polynomial declaration found in Mathlib. | Grep for `Tutte.*polynomial`/`TuttePolynomial` returns no hits in Mathlib. |
modifiedSteiner system546038cf759d
| Field | From #2408 | To #3066 |
|---|
| note | No `SteinerSystem` declaration found in Mathlib. | Grep for `SteinerSystem`/`Steiner.*system` returns no hits in Mathlib. |