Inventory rows 7D
The cards of the rows of the inventory whose ids start with 7D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Postage stamp problem 7D6SEFBXTD
| URI | m2://inv/7D6SEFBXTD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7233768, Postage stamp problem (problem). Also MathWorld PostageStampProblem
History
- 2026-10-26: add by m2/dev
topos theory 7D75HTZAZD
| URI | m2://inv/7D75HTZAZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q113355041, topos theory (topic). Also nLab sheaf and topos theory
History
- 2026-10-26: add by m2/dev
HOMFLY polynomial 7D8QSZF9J0
| URI | m2://inv/7D8QSZF9J0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q996437, HOMFLY polynomial (unknown). Also MathWorld HOMFLYPolynomial, nLab HOMFLY-PT polynomial
History
- 2026-10-26: add by m2/dev
margin of error 7D9P35S8NC
| URI | m2://inv/7D9P35S8NC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1352827, margin of error (concept). Also MathWorld MarginofError
History
- 2026-10-26: add by m2/dev
local maximum 7DATAQKNGF
| URI | m2://inv/7DATAQKNGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91052280, local maximum (unknown). Also MathWorld LocalMaximum
History
- 2026-10-26: add by m2/dev
Galilean transformation 7DHKXW125A
| URI | m2://inv/7DHKXW125A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q219207, Galilean transformation (unknown). Also EoM Galilean_transformation, MathWorld GalileanTransformation, nLab Galilean group
History
- 2026-10-26: add by m2/dev
Heron's formula 7DKEQE9M1B
| URI | m2://inv/7DKEQE9M1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Heron's formula 0FRBZ2X4HJ |
Mentions
- wikidata: Wikidata Q182714, Heron's formula (statement). Also MathWorld HeronsFormula
History
- 2026-10-26: add by m2/dev
Byers–Yang theorem 7DNJT1S6W0
| URI | m2://inv/7DNJT1S6W0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q18205730, Byers–Yang theorem (statement). Also Wikidata Q18205730
- thousand_plus: thousand_plus Q18205730, Byers–Yang theorem (statement). Also Wikidata Q18205730, Wikipedia Byers–Yang theorem
History
- 2026-10-26: add by m2/dev
supercompact cardinal 7DR3RCAHSW
| URI | m2://inv/7DR3RCAHSW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7643154, supercompact cardinal (unknown). Also nLab supercompact cardinal
History
- 2026-10-26: add by m2/dev
prime power conjecture 7DTWF8P26K
| URI | m2://inv/7DTWF8P26K |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131465796, prime power conjecture (conjecture). Also MathWorld PrimePowerConjecture
History
- 2026-10-26: add by m2/dev
affine space 7DYKMEJQAE
| URI | m2://inv/7DYKMEJQAE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Affine and Euclidean geometry > affine space, affine space (unknown). Also Mathlib AddTorsor
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine space, affine space (unknown). Also Mathlib AddTorsor
History
- 2026-10-26: add by m2/dev
hypercomplex number 7DZ5BZVZGN
| URI | m2://inv/7DZ5BZVZGN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q837414, hypercomplex number (unknown). Also EoM Hypercomplex_number, MathWorld HypercomplexNumber, nLab hypercomplex number
History
- 2026-10-26: add by m2/dev