Inventory rows 1N
The cards of the rows of the inventory whose ids start with 1N. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Dold–Thom theorem 1N2C7S934N
| URI | m2://inv/1N2C7S934N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3527062, Dold–Thom theorem (statement). Also nLab Dold-Thom theorem
History
- 2026-10-26: add by m2/dev
quantile function 1N2T0RBJEF
| URI | m2://inv/1N2T0RBJEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Quantile function 0X60VE98HN |
Mentions
- wikidata: Wikidata Q3489473, quantile function (unknown). Also MathWorld QuantileFunction
History
- 2026-10-26: add by m2/dev
sulfur-32 1N5C038E74
| URI | m2://inv/1N5C038E74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2375775, sulfur-32 (definition). Also ProofWiki Definition:Sulphur/32
History
- 2026-10-26: add by m2/dev
homoiconicity 1N7CCY5SZQ
| URI | m2://inv/1N7CCY5SZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q925488, homoiconicity (unknown). Also nLab homoiconicity
History
- 2026-10-26: add by m2/dev
Wythoff symbol 1N866364KD
| URI | m2://inv/1N866364KD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2114050, Wythoff symbol (unknown). Also MathWorld WythoffSymbol
History
- 2026-10-26: add by m2/dev
Apéry's theorem 1N9Y2K9RHN
| URI | m2://inv/1N9Y2K9RHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1095330, Apéry's theorem (statement). Also Wikidata Q1095330
- thousand_plus: thousand_plus Q1095330, Apéry's theorem (statement). Also Wikidata Q1095330, Wikipedia Apéry's theorem
History
- 2026-10-26: add by m2/dev
error correction code 1NBP4YNZST
| URI | m2://inv/1NBP4YNZST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55611017, error correction code (unknown). Also MathWorld Error-CorrectingCode
History
- 2026-10-26: add by m2/dev
Self-dual 1NC418W1RR
| URI | m2://inv/1NC418W1RR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2872559, Self-dual (unknown). Also MathWorld Self-Dual
History
- 2026-10-26: add by m2/dev
G-ring 1NC4MTM3F0
| URI | m2://inv/1NC4MTM3F0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17097924, G-ring (concept). Also nLab Grothendieck ring
History
- 2026-10-26: add by m2/dev
Astérisque 1NEKTQ5QTR
| URI | m2://inv/1NEKTQ5QTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4811832, Astérisque (unknown). Also nLab Astérisque
History
- 2026-10-26: add by m2/dev
May's theorem 1NFVK54NTJ
| URI | m2://inv/1NFVK54NTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1056283, May's theorem (statement). Also Wikidata Q1056283
- thousand_plus: thousand_plus Q1056283, May's theorem (statement). Also Wikidata Q1056283, Wikipedia May's theorem
- wikidata: Wikidata Q1056283, May's theorem (statement). Also MathWorld MaysTheorem
History
- 2026-10-26: add by m2/dev
Jordan normal form 1NG4CSHNYY
| URI | m2://inv/1NG4CSHNYY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Jordan normal form 085HQ5G5TE |
Mentions
- wikidata: Wikidata Q838495, Jordan normal form (concept). Also MathWorld JordanCanonicalForm
History
- 2026-10-26: add by m2/dev
holographic principle 1NQ5ZXE2MJ
| URI | m2://inv/1NQ5ZXE2MJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q911473, holographic principle (unknown). Also nLab holographic principle
History
- 2026-10-26: add by m2/dev
decomposition into transpositions 1NRPVDQ4YE
| URI | m2://inv/1NRPVDQ4YE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Permutation group > decomposition into transpositions, decomposition into transpositions (unknown). Also Mathlib Equiv.Perm.truncSwapFactors
History
- 2026-10-26: add by m2/dev
inverse proportionality 1NRWQJGR5R
| URI | m2://inv/1NRWQJGR5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1091245, inverse proportionality (unknown). Also MathWorld InverselyProportional
History
- 2026-10-26: add by m2/dev
Kostas Skenderis 1NTPMGDEV6
| URI | m2://inv/1NTPMGDEV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91825807, Kostas Skenderis (unknown). Also nLab Kostas Skenderis
History
- 2026-10-26: add by m2/dev
Khinchin's theorem on Diophantine approximations 1NW75PJJP5
| URI | m2://inv/1NW75PJJP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1227061, Khinchin's theorem on Diophantine approximations (statement). Also Wikidata Q1227061
- thousand_plus: thousand_plus Q1227061, Khinchin's theorem (statement). Also Wikidata Q1227061, Wikipedia Khinchin's theorem on Diophantine approximations
History
- 2026-10-26: add by m2/dev
Malament–Hogarth spacetime 1NWSXY7AEA
| URI | m2://inv/1NWSXY7AEA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6741225, Malament–Hogarth spacetime (unknown). Also nLab Malament–Hogarth spacetime
History
- 2026-10-26: add by m2/dev
Higman's embedding theorem 1NYS37BFMR
| URI | m2://inv/1NYS37BFMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17029787, Higman's embedding theorem (statement). Also Wikidata Q17029787
- thousand_plus: thousand_plus Q17029787, Higman's embedding theorem (statement). Also Wikidata Q17029787, Wikipedia Higman's embedding theorem
- wikidata: Wikidata Q17029787, Higman's embedding theorem (statement). Also nLab Higman's embedding theorem
History
- 2026-10-26: add by m2/dev
Lee–Yang theorem 1NYSXWDS41
| URI | m2://inv/1NYSXWDS41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 82-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6516611, Lee–Yang theorem (statement). Also Wikidata Q6516611
- thousand_plus: thousand_plus Q6516611, Lee–Yang theorem (statement). Also Wikidata Q6516611, Wikipedia Lee–Yang theorem
History
- 2026-10-26: add by m2/dev