Inventory rows D0
The cards of the rows of the inventory whose ids start with D0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Gelfand–Raikov theorem D0233WC2BD
| URI | m2://inv/D0233WC2BD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18207320, Gelfand–Raikov theorem (statement). Also nLab Gelfand-Raikov theorem
History
- 2026-10-26: add by m2/dev
convex subsets D04KQF5102
| URI | m2://inv/D04KQF5102 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Convexity > convex subsets, convex subsets (unknown). Also Mathlib Convex
History
- 2026-10-26: add by m2/dev
13 D0CP3HDEA5
| URI | m2://inv/D0CP3HDEA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37141, 13 (statement). Also MathWorld 13, ProofWiki 13
History
- 2026-10-26: add by m2/dev
Von Neumann's theorem D0D9TNE794
| URI | m2://inv/D0D9TNE794 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7941491, Von Neumann's theorem (statement). Also Wikidata Q7941491
- thousand_plus: thousand_plus Q7941491, Von Neumann's theorem (statement). Also Wikidata Q7941491, Wikipedia Von Neumann's theorem
History
- 2026-10-26: add by m2/dev
Poisson summation formula D0FMTMCM3S
| URI | m2://inv/D0FMTMCM3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q387743, Poisson summation formula (statement). Also MathWorld PoissonSumFormula, nLab Poisson summation formula
History
- 2026-10-26: add by m2/dev
nerve of a covering D0KQ4EFQSA
| URI | m2://inv/D0KQ4EFQSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1424012, nerve of a covering (unknown). Also MathWorld Nerve, nLab Čech nerve
History
- 2026-10-26: add by m2/dev
Borel-Cantelli lemma (easy direction) D0MK3EZ2T0
| URI | m2://inv/D0MK3EZ2T0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > Borel-Cantelli lemma (easy direction), Borel-Cantelli lemma (easy direction) (unknown). Also Mathlib MeasureTheory.measure_limsup_atTop_eq_zero
History
- 2026-10-26: add by m2/dev
lens D0RCY8HK46
| URI | m2://inv/D0RCY8HK46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6523215, lens (unknown). Also MathWorld Lens
History
- 2026-10-26: add by m2/dev
correspondence theory of truth D0TZ0ZPVBN
| URI | m2://inv/D0TZ0ZPVBN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q379168, correspondence theory of truth (unknown). Also nLab correspondence theory of truth
History
- 2026-10-26: add by m2/dev
abnormal subgroup D0XZ3XAEK0
| URI | m2://inv/D0XZ3XAEK0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4668179, abnormal subgroup (unknown). Also EoM Abnormal_subgroup
History
- 2026-10-26: add by m2/dev