Inventory rows XR
The cards of the rows of the inventory whose ids start with XR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Karhunen–Loève theorem XR17TN54GB
| URI | m2://inv/XR17TN54GB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2046647, Karhunen–Loève theorem (statement). Also Wikidata Q2046647
- thousand_plus: thousand_plus Q2046647, Karhunen–Loève theorem (statement). Also Wikidata Q2046647, Wikipedia Karhunen–Loève theorem
History
- 2026-10-26: add by m2/dev
regular star polygon XR8JBKA97Q
| URI | m2://inv/XR8JBKA97Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q836708, regular star polygon (unknown). Also MathWorld StarPolygon
History
- 2026-10-26: add by m2/dev
Nu function XR8KQX5X6B
| URI | m2://inv/XR8KQX5X6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15866814, Nu function (unknown). Also MathWorld NuFunction
History
- 2026-10-26: add by m2/dev
Helly–Bray theorem XRA4WZ6MV6
| URI | m2://inv/XRA4WZ6MV6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5709171, Helly–Bray theorem (statement). Also Wikidata Q5709171
- thousand_plus: thousand_plus Q5709171, Helly–Bray theorem (statement). Also Wikidata Q5709171, Wikipedia Helly–Bray theorem
History
- 2026-10-26: add by m2/dev
short five lemma XRCPCPM4RK
| URI | m2://inv/XRCPCPM4RK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7502047, short five lemma (statement). Also MathWorld ShortFiveLemma
History
- 2026-10-26: add by m2/dev
zero vector space XRGQPE3GY7
| URI | m2://inv/XRGQPE3GY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2004761, zero vector space (definition). Also ProofWiki Definition:Trivial_Vector_Space
History
- 2026-10-26: add by m2/dev
Bonferroni correction XRM0VXC2FR
| URI | m2://inv/XRM0VXC2FR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q385989, Bonferroni correction (unknown). Also MathWorld BonferroniCorrection
History
- 2026-10-26: add by m2/dev
tangential quadrilateral XRME7JYD9T
| URI | m2://inv/XRME7JYD9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1064389, tangential quadrilateral (unknown). Also MathWorld TangentialQuadrilateral
History
- 2026-10-26: add by m2/dev
algebraic stack XRNSDWYRC6
| URI | m2://inv/XRNSDWYRC6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1687845, algebraic stack (concept). Also nLab algebraic stack, ProofWiki Definition:Artin_Stack
History
- 2026-10-26: add by m2/dev
Pandigital number XRNVBPN1ZG
| URI | m2://inv/XRNVBPN1ZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1659695, Pandigital number (unknown). Also MathWorld PandigitalNumber
History
- 2026-10-26: add by m2/dev
Moser spindle XRP9CWVNNC
| URI | m2://inv/XRP9CWVNNC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1443782, Moser spindle (unknown). Also House of Graphs 702, MathWorld MoserSpindle
History
- 2026-10-26: add by m2/dev
laser XRPRP8V3GR
| URI | m2://inv/XRPRP8V3GR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q38867, laser (unknown). Also nLab laser
History
- 2026-10-26: add by m2/dev
uniform time existence XRQ774V4J5
| URI | m2://inv/XRQ774V4J5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > uniform time existence, uniform time existence (unknown). Also Mathlib exists_isMIntegralCurve_of_isMIntegralCurveOn
History
- 2026-10-26: add by m2/dev
Jevons' number XRRN8V1MSK
| URI | m2://inv/XRRN8V1MSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1100748, Jevons' number (unknown). Also MathWorld JevonsNumber, ProofWiki 8,616,460,799, ProofWiki Definition:Jevons'_Number
History
- 2026-10-26: add by m2/dev
knot invariant XRSE497TQ4
| URI | m2://inv/XRSE497TQ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1862434, knot invariant (unknown). Also MathWorld KnotInvariant, nLab knot invariant
History
- 2026-10-26: add by m2/dev
aleph numbers XRSN8DVDKX
| URI | m2://inv/XRSN8DVDKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Cardinals > aleph numbers, aleph numbers (unknown). Also Mathlib Cardinal.aleph
History
- 2026-10-26: add by m2/dev
class function XRTWMFBGJS
| URI | m2://inv/XRTWMFBGJS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q986909, class function (unknown). Also nLab class function
History
- 2026-10-26: add by m2/dev
reflexive relation XRVMSG2RSG
| URI | m2://inv/XRVMSG2RSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Reflexive relation 0X8NMST0J2 |
Mentions
- wikidata: Wikidata Q621850, reflexive relation (unknown). Also MathWorld Reflexive
History
- 2026-10-26: add by m2/dev
sigmoid function XRY4C9EZ56
| URI | m2://inv/XRY4C9EZ56 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q526668, sigmoid function (unknown). Also MathWorld SigmoidFunction
History
- 2026-10-26: add by m2/dev
realizability XRZPPG5DZ5
| URI | m2://inv/XRZPPG5DZ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3454417, realizability (unknown). Also nLab realizability
History
- 2026-10-26: add by m2/dev