Inventory rows K9
The cards of the rows of the inventory whose ids start with K9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
lax natural transformation K943ZS2NXS
| URI | m2://inv/K943ZS2NXS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25304046, lax natural transformation (concept). Also nLab lax natural transformation
History
- 2026-10-26: add by m2/dev
Coxeter group K989SP3DHR
| URI | m2://inv/K989SP3DHR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7874246, Coxeter group (concept). Also MathWorld CoxeterGroup, nLab Coxeter group
History
- 2026-10-26: add by m2/dev
Erdős–Anning theorem K99E7XGV7V
| URI | m2://inv/K99E7XGV7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3526982, Erdős–Anning theorem (statement). Also Wikidata Q3526982
- thousand_plus: thousand_plus Q3526982, Erdős–Anning theorem (statement). Also Wikidata Q3526982, Wikipedia Erdős–Anning theorem
- wikidata: Wikidata Q3526982, Erdős–Anning theorem (statement). Also MathWorld Erdos-AnningTheorem
History
- 2026-10-26: add by m2/dev
heptagonal pyramidal number K9C4QNG0Q0
| URI | m2://inv/K9C4QNG0Q0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q606977, heptagonal pyramidal number (object). Also OEIS A002413
History
- 2026-10-26: add by m2/dev
Euclidean norm K9F67AN9GZ
| URI | m2://inv/K9F67AN9GZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20076640, Euclidean norm (unknown). Also MathWorld L2-Norm
History
- 2026-10-26: add by m2/dev
coequalizer K9KPENYX8R
| URI | m2://inv/K9KPENYX8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5140810, coequalizer (unknown). Also MathWorld Coequalizer, nLab coequalizer
History
- 2026-10-26: add by m2/dev
geometric topology K9P8CGZK01
| URI | m2://inv/K9P8CGZK01 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1939186, geometric topology (topic). Also ProofWiki Definition:Geometric_Topology
History
- 2026-10-26: add by m2/dev
Mémoires de l'Académie (Royale) des Sciences de l'Institut (Imperial) de France K9Q4HBMPJB
| URI | m2://inv/K9Q4HBMPJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51503259, Mémoires de l'Académie (Royale) des Sciences de l'Institut (Imperial) de France (unknown). Also ProofWiki Book:Journal/Mémoires_de_l'Académie_(Royale)_des_Sciences_de_l'Institut_(Imperial)_de_France
History
- 2026-10-26: add by m2/dev
weird number K9SJ8TPFG4
| URI | m2://inv/K9SJ8TPFG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2145900, weird number (unknown). Also MathWorld WeirdNumber, OEIS A006037
History
- 2026-10-26: add by m2/dev
range of a linear map K9XSSC3X8A
| URI | m2://inv/K9XSSC3X8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > range of a linear map, range of a linear map (unknown). Also Mathlib LinearMap.range
History
- 2026-10-26: add by m2/dev