Inventory rows DE
The cards of the rows of the inventory whose ids start with DE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
array DE5B7KK2T4
| URI | m2://inv/DE5B7KK2T4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > List-like structures > array, array (unknown). Also Mathlib Array
History
- 2026-10-26: add by m2/dev
Blaschke selection theorem DE8Q49JJSP
| URI | m2://inv/DE8Q49JJSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q784049, Blaschke selection theorem (statement). Also Wikidata Q784049
- thousand_plus: thousand_plus Q784049, Blaschke selection theorem (statement). Also Wikidata Q784049, Wikipedia Blaschke selection theorem
- wikidata: Wikidata Q784049, Blaschke selection theorem (statement). Also EoM Blaschke selection theorem
History
- 2026-10-26: add by m2/dev
measurable cardinal DE983XF5XX
| URI | m2://inv/DE983XF5XX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q925445, measurable cardinal (unknown). Also nLab measurable cardinal
History
- 2026-10-26: add by m2/dev
Sierpiński space DEJAWRTJQ2
| URI | m2://inv/DEJAWRTJQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2119470, Sierpiński space (definition). Also ProofWiki Definition:Sierpiński_Space
History
- 2026-10-26: add by m2/dev
Taylor's theorem DEKKVKZ2AZ
| URI | m2://inv/DEKKVKZ2AZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Differentiability > Taylor's theorem, Taylor's theorem (unknown)
History
- 2026-10-26: add by m2/dev
Edgeworth series DEQV7SWTZN
| URI | m2://inv/DEQV7SWTZN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5337942, Edgeworth series (concept). Also EoM Edgeworth series, MathWorld EdgeworthSeries
History
- 2026-10-26: add by m2/dev
medians of a triangle theorem DESMAQKSBG
| URI | m2://inv/DESMAQKSBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140089476, medians of a triangle theorem (statement). Also ProofWiki Medians_of_Triangle_Meet_at_Centroid
History
- 2026-10-26: add by m2/dev
cologarithm DETKK5KRAH
| URI | m2://inv/DETKK5KRAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2261345, cologarithm (unknown). Also MathWorld Cologarithm
History
- 2026-10-26: add by m2/dev
inch of mercury DEYTSMWVKZ
| URI | m2://inv/DEYTSMWVKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1050958, inch of mercury (definition). Also ProofWiki Definition:Inch_of_Mercury
History
- 2026-10-26: add by m2/dev