Inventory rows VV
The cards of the rows of the inventory whose ids start with VV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
generic point VV5MPMH250
| URI | m2://inv/VV5MPMH250 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q449470, generic point (unknown). Also nLab generic point
History
- 2026-10-26: add by m2/dev
Tao Te Ching VV62GQXH1T
| URI | m2://inv/VV62GQXH1T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134425, Tao Te Ching (unknown). Also nLab 道德經
History
- 2026-10-26: add by m2/dev
wave mechanics VV9B6NH144
| URI | m2://inv/VV9B6NH144 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3332153, wave mechanics (definition). Also ProofWiki Definition:Wave_Mechanics
History
- 2026-10-26: add by m2/dev
Penrose Polynomial VVC323KAMJ
| URI | m2://inv/VVC323KAMJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51159632, Penrose Polynomial (unknown). Also MathWorld PenrosePolynomial
History
- 2026-10-26: add by m2/dev
Harmonie universelle VVCDG0CZEN
| URI | m2://inv/VVCDG0CZEN |
|---|---|
| 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 Q18857163, Harmonie universelle (unknown). Also ProofWiki Book:Marin_Mersenne/Harmonie_Universelle
History
- 2026-10-26: add by m2/dev
tail probability VVDVGT8N1Q
| URI | m2://inv/VVDVGT8N1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122599145, tail probability (unknown). Also MathWorld TailProbability
History
- 2026-10-26: add by m2/dev
bounded operator VVGJXZ5D34
| URI | m2://inv/VVGJXZ5D34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2342396, bounded operator (unknown). Also EoM Bounded_operator, MathWorld BoundedOperator, nLab bounded operator
History
- 2026-10-26: add by m2/dev
Erdős–Gallai theorem VVH53XQCCG
| URI | m2://inv/VVH53XQCCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5385323, Erdős–Gallai theorem (statement). Also Wikidata Q5385323
- thousand_plus: thousand_plus Q5385323, Erdős–Gallai theorem (statement). Also Wikidata Q5385323, Wikipedia Erdős–Gallai theorem
History
- 2026-10-26: add by m2/dev
unimodular lattice VVNZGX5TW9
| URI | m2://inv/VVNZGX5TW9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2794475, unimodular lattice (unknown). Also LMFDB knowl lattice.unimodular
History
- 2026-10-26: add by m2/dev
topological space VVPYMNSKTA
| URI | m2://inv/VVPYMNSKTA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > topological space, topological space (unknown). Also Mathlib TopologicalSpace
History
- 2026-10-26: add by m2/dev
Lazarus Fuchs VVRK1V3Z08
| URI | m2://inv/VVRK1V3Z08 |
|---|---|
| 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 Q61758, Lazarus Fuchs (unknown). Also nLab Lazarus Fuchs
History
- 2026-10-26: add by m2/dev
finite-dimensionality VVS7GB44B6
| URI | m2://inv/VVS7GB44B6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Finite-dimensional vector spaces > finite-dimensionality, finite-dimensionality (unknown). Also Mathlib FiniteDimensional
- mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > finite-dimensionality, finite-dimensionality (unknown). Also Mathlib FiniteDimensional
History
- 2026-10-26: add by m2/dev
Doubly triangular number VVSMQTJB8Y
| URI | m2://inv/VVSMQTJB8Y |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105044211, Doubly triangular number (object). Also OEIS A002817
History
- 2026-10-26: add by m2/dev
Markov inequality VVSRJ40WD4
| URI | m2://inv/VVSRJ40WD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > Markov inequality, Markov inequality (unknown). Also Mathlib MeasureTheory.mul_meas_ge_le_lintegral
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > Markov inequality, Markov inequality (unknown). Also Mathlib MeasureTheory.mul_meas_ge_le_lintegral
History
- 2026-10-26: add by m2/dev
Neptune VVT0A8RYBR
| URI | m2://inv/VVT0A8RYBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q332, Neptune (definition). Also ProofWiki Definition:Neptune
History
- 2026-10-26: add by m2/dev