Inventory rows 23
The cards of the rows of the inventory whose ids start with 23. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Elements 232T9ZXKZX
| URI | m2://inv/232T9ZXKZX |
|---|---|
| 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 Q172891, Elements (unknown). Also EoM Elements-of-Euclid, MathWorld Elements, nLab Elements, ProofWiki Book:Euclid/The_Elements
History
- 2026-10-26: add by m2/dev
transcendence degree 233V1EH1RK
| URI | m2://inv/233V1EH1RK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1387602, transcendence degree (unknown). Also MathWorld TranscendenceDegree, nLab transcendence degree
History
- 2026-10-26: add by m2/dev
Lions–Lax–Milgram theorem 23JE0Z5HWK
| URI | m2://inv/23JE0Z5HWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1103054, Lions–Lax–Milgram theorem (statement). Also Wikidata Q1103054
- thousand_plus: thousand_plus Q1103054, Lions–Lax–Milgram theorem (statement). Also Wikidata Q1103054, Wikipedia Lions–Lax–Milgram theorem
- wikidata: Wikidata Q1103054, Lions–Lax–Milgram theorem (statement). Also EoM Lax-Milgram_lemma
History
- 2026-10-26: add by m2/dev
Hermann–Mauguin notation 23K4F3R23M
| URI | m2://inv/23K4F3R23M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q903232, Hermann–Mauguin notation (concept). Also MathWorld Hermann-MauguinSymbol
History
- 2026-10-26: add by m2/dev
Duggan–Schwartz theorem 23MEDNB1X1
| URI | m2://inv/23MEDNB1X1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3984011, Duggan–Schwartz theorem (statement). Also Wikidata Q3984011
- thousand_plus: thousand_plus Q3984011, Duggan–Schwartz theorem (statement). Also Wikidata Q3984011, Wikipedia Duggan–Schwartz theorem
History
- 2026-10-26: add by m2/dev
Hausdorff paradox 23R2TSJ2EN
| URI | m2://inv/23R2TSJ2EN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1959890, Hausdorff paradox (statement). Also ProofWiki Hausdorff_Paradox
History
- 2026-10-26: add by m2/dev
kernel of a linear map 23SSF4JKJE
| URI | m2://inv/23SSF4JKJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > kernel of a linear map, kernel of a linear map (unknown). Also Mathlib LinearMap.ker
History
- 2026-10-26: add by m2/dev
Xiangjie jiuzhang suanfa 23VBW5B19G
| URI | m2://inv/23VBW5B19G |
|---|---|
| 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 Q30945536, Xiangjie jiuzhang suanfa (unknown). Also ProofWiki Book:Yang_Hui/Xiangjie_Jiuzhang_Suanfa
History
- 2026-10-26: add by m2/dev
Niven's constant 23VE32P05N
| URI | m2://inv/23VE32P05N |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1113025, Niven's constant (object). Also MathWorld NivensConstant, OEIS A033150
History
- 2026-10-26: add by m2/dev
kernels lemma 23Y0CPRM9Q
| URI | m2://inv/23Y0CPRM9Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > kernels lemma, kernels lemma (unknown)
History
- 2026-10-26: add by m2/dev
Turing degrees 23Z8DCS89Z
| URI | m2://inv/23Z8DCS89Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Computability > Turing degrees, Turing degrees (unknown). Also Mathlib TuringDegree
History
- 2026-10-26: add by m2/dev