Inventory rows 7X
The cards of the rows of the inventory whose ids start with 7X. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Stone–von Neumann theorem 7X2TNEJPAF
| URI | m2://inv/7X2TNEJPAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7619449, Stone–von Neumann theorem (statement). Also Wikidata Q7619449
- thousand_plus: thousand_plus Q7619449, Stone–von Neumann theorem (statement). Also Wikidata Q7619449, Wikipedia Stone–von Neumann theorem
- wikidata: Wikidata Q7619449, Stone–von Neumann theorem (statement). Also MathWorld Stone-vonNeumannTheorem
History
- 2026-10-26: add by m2/dev
dominated convergence theorem 7X2VAD97KN
| URI | m2://inv/7X2VAD97KN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 5 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1067156, Dominated convergence theorem (statement). Also Mathlib MeasureTheory.tendsto_integral_of_dominated_convergence, Wikidata Q1067156
- mathlib_1000: mathlib_1000 Q1067156X, Bounded convergence theorem (statement). Also Mathlib MeasureTheory.FiniteMeasure.tendsto_lintegral_nn_of_le_const, Mathlib MeasureTheory.tendsto_lintegral_nn_filter_of_le_const, Wikidata Q1067156
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > dominated convergence theorem, dominated convergence theorem (unknown). Also Mathlib MeasureTheory.tendsto_integral_of_dominated_convergence
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > dominated convergence theorem, dominated convergence theorem (unknown). Also Mathlib MeasureTheory.tendsto_integral_of_dominated_convergence
- thousand_plus: thousand_plus Q1067156, Dominated convergence theorem (statement). Also Mathlib MeasureTheory.tendsto_integral_of_dominated_convergence, Wikidata Q1067156, Wikipedia Dominated convergence theorem
- thousand_plus: thousand_plus Q1067156X, Bounded convergence theorem (statement). Also Mathlib MeasureTheory.FiniteMeasure.tendsto_lintegral_nn_of_le_const, Mathlib MeasureTheory.tendsto_lintegral_nn_filter_of_le_const, Wikidata Q1067156, Wikipedia Bounded convergence theorem
- wikidata: Wikidata Q1067156, dominated convergence theorem (statement). Also MathWorld LebesguesDominatedConvergenceTheorem, ProofWiki Lebesgue's_Dominated_Convergence_Theorem
History
- 2026-10-26: add by m2/dev
Wallace–Bolyai–Gerwien theorem 7X342SDG04
| URI | m2://inv/7X342SDG04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q834211, Wallace–Bolyai–Gerwien theorem (statement). Also Wikidata Q834211
- thousand_plus: thousand_plus Q834211, Wallace–Bolyai–Gerwien theorem (statement). Also Wikidata Q834211, Wikipedia Wallace–Bolyai–Gerwien theorem, Wikipedia Bolyai–Gerwien theorem
- wikidata: Wikidata Q834211, Wallace–Bolyai–Gerwien theorem (statement). Also MathWorld Wallace-Bolyai-GerwienTheorem
History
- 2026-10-26: add by m2/dev
Jones polynomial 7XBKSYBY07
| URI | m2://inv/7XBKSYBY07 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1528291, Jones polynomial (unknown). Also MathWorld JonesPolynomial, nLab Jones polynomial
History
- 2026-10-26: add by m2/dev
Feller–Tornier constant 7XCCF670SC
| URI | m2://inv/7XCCF670SC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29048688, Feller–Tornier constant (object). Also MathWorld Feller-TornierConstant, OEIS A065493
History
- 2026-10-26: add by m2/dev
Serre spectral sequence 7XCRCBJMCH
| URI | m2://inv/7XCRCBJMCH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7455410, Serre spectral sequence (concept). Also nLab Serre spectral sequence
History
- 2026-10-26: add by m2/dev
complex addition 7XECH5S6WK
| URI | m2://inv/7XECH5S6WK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141513058, complex addition (unknown). Also MathWorld ComplexAddition
History
- 2026-10-26: add by m2/dev
Thomas Willwacher 7XF7SB9AMD
| URI | m2://inv/7XF7SB9AMD |
|---|---|
| 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 Q22265413, Thomas Willwacher (unknown). Also nLab Thomas Willwacher
History
- 2026-10-26: add by m2/dev
total function 7XHBYPPXYD
| URI | m2://inv/7XHBYPPXYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140175744, total function (unknown). Also MathWorld TotalFunction
History
- 2026-10-26: add by m2/dev
Hans Duistermaat 7XT0332HG1
| URI | m2://inv/7XT0332HG1 |
|---|---|
| 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 Q1697784, Hans Duistermaat (unknown). Also nLab Hans Duistermaat
History
- 2026-10-26: add by m2/dev
Categories for the Working Mathematician 7XV7YS9253
| URI | m2://inv/7XV7YS9253 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5051820, Categories for the Working Mathematician (unknown). Also nLab Categories Work
History
- 2026-10-26: add by m2/dev
absolute continuity of probability laws 7XVRZD42ZH
| URI | m2://inv/7XVRZD42ZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > absolute continuity of probability laws, absolute continuity of probability laws (unknown)
History
- 2026-10-26: add by m2/dev
Richard Borcherds 7XWJWZNRXM
| URI | m2://inv/7XWJWZNRXM |
|---|---|
| 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 Q334010, Richard Borcherds (unknown). Also nLab Richard Borcherds
History
- 2026-10-26: add by m2/dev
van Aubel's theorem 7XYVGW1KZC
| URI | m2://inv/7XYVGW1KZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q594571, Van Aubel's theorem (statement). Also Wikidata Q594571
- thousand_plus: thousand_plus Q594571, Van Aubel's theorem (statement). Also Wikidata Q594571, Wikipedia Van Aubel's theorem
- wikidata: Wikidata Q594571, van Aubel's theorem (statement). Also MathWorld vanAubelsTheorem
History
- 2026-10-26: add by m2/dev
24 7XZV1RD3BE
| URI | m2://inv/7XZV1RD3BE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q79988, 24 (unknown). Also MathWorld 24
History
- 2026-10-26: add by m2/dev