Revision #2606 → #3191 · back to history
modifiedFermat's Last Theorem6e7c0bfc4d60
| Field | From #2606 | To #3191 |
|---|
| note | `FermatLastTheorem` is defined exactly as the statement that aⁿ+bⁿ=cⁿ has no positive solutions for n≥3. | `FermatLastTheorem` is defined as `∀ n ≥ 3, FermatLastTheoremFor n`, i.e. no positive-integer solutions to aⁿ+bⁿ=cⁿ for n≥3. |
modifiedGoldbach's conjecture1d16c8683608
| Field | From #2606 | To #3191 |
|---|
| note | Mathlib's only 'Goldbach' result concerns coprimality of Fermat numbers, not the even-sum-of-two-primes conjecture. | Mathlib does not state the even-sum-of-two-primes conjecture; its only 'Goldbach' hits concern Fermat-number coprimality. |
addedPythagorean theoremd4c1966c89ba
addedKepler conjecture (sphere packing)618dffb32f8b
addedRiemann hypothesis8ed8aa146f63
addedPoincaré conjecture53d71be63229
addedFeit–Thompson theorem82cfbf274ca4
addedWeierstrass function859baa096b53
addedCyclic group of order two0e2491407950
addedLotka–Volterra equations00fe8682b46b
addedParallel postulatef3ee5ed5cc89
addedRussell's paradox315082f777ca
addedConic sections1747225255c5
addedInfinite series for π/trigonometric functions (Indian mathematics)b43e7adba539
addedGroup theory578b8262eb0b
addedField theoryf6c451e0b2ae
addedRing theory0756dc8871af
addedLie group / Lie algebra25c39410d003
addedHomological algebra7785182993f2
addedGraph theory02fefc01704c
addedMatroid theory5f21adc82c0e
addedOrdinary differential equations1e86e9fd6cc2
addedMeasure theory5d179257e248