Inventory rows YY
The cards of the rows of the inventory whose ids start with YY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
conditional convergence YY12HTTP89
| URI | m2://inv/YY12HTTP89 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Conditional convergence 0NE233WGD1 |
Mentions
- wikidata: Wikidata Q2425336, conditional convergence (unknown). Also MathWorld ConditionalConvergence, nLab conditional convergence
History
- 2026-10-26: add by m2/dev
Morse–Kelley set theory YY132HRFRT
| URI | m2://inv/YY132HRFRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3490369, Morse–Kelley set theory (unknown). Also nLab Morse-Kelley set theory
History
- 2026-10-26: add by m2/dev
sheafification YY26YX00G0
| URI | m2://inv/YY26YX00G0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124131888, sheafification (unknown). Also nLab sheafification
History
- 2026-10-26: add by m2/dev
Evgeny Pinkhasovich Likhtman YY5Z1EK2F5
| URI | m2://inv/YY5Z1EK2F5 |
|---|---|
| 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 Q26251155, Evgeny Pinkhasovich Likhtman (unknown). Also nLab Evgeny Likhtman
History
- 2026-10-26: add by m2/dev
Cholesky decomposition YY5ZS7FKXP
| URI | m2://inv/YY5ZS7FKXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Cholesky decomposition 0WKG8CYY6A |
Mentions
- wikidata: Wikidata Q515375, Cholesky decomposition (definition). Also MathWorld CholeskyDecomposition, ProofWiki Definition:Cholesky_Factorization
History
- 2026-10-26: add by m2/dev
Landau's constants YY76TRPHTH
| URI | m2://inv/YY76TRPHTH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2994932, Landau's constants (concept). Also MathWorld LandauConstant
History
- 2026-10-26: add by m2/dev
Neumann series YYB4XX5ES8
| URI | m2://inv/YYB4XX5ES8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q584910, Neumann series (concept). Also EoM Neumann_series
History
- 2026-10-26: add by m2/dev
Craig's interpolation theorem YYJHED3NBN
| URI | m2://inv/YYJHED3NBN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1052021, Craig's interpolation theorem (statement). Also Wikidata Q1052021
- thousand_plus: thousand_plus Q1052021, Craig's interpolation theorem (statement). Also Wikidata Q1052021, Wikipedia Craig's interpolation theorem
History
- 2026-10-26: add by m2/dev
Space hierarchy theorem YYPHJTE7TG
| URI | m2://inv/YYPHJTE7TG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7572588, Space hierarchy theorem (statement). Also Wikidata Q7572588
- thousand_plus: thousand_plus Q7572588, Space hierarchy theorem (statement). Also Wikidata Q7572588, Wikipedia Space hierarchy theorem
History
- 2026-10-26: add by m2/dev
Grothendieck category YYPM8W0GH5
| URI | m2://inv/YYPM8W0GH5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5610721, Grothendieck category (concept). Also nLab Grothendieck category
History
- 2026-10-26: add by m2/dev
Baire category theorem YYPQA6S4WQ
| URI | m2://inv/YYPQA6S4WQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 4 |
| Outcome | open |
| Node | Baire category theorem 0A7KGAYHGV |
Mentions
- mathlib_1000: mathlib_1000 Q1052678, Baire category theorem (statement). Also Mathlib BaireSpace.of_completelyPseudoMetrizable, Mathlib BaireSpace.of_t2Space_locallyCompactSpace, Wikidata Q1052678
- mathlib_overview: mathlib_overview Topology > Metric spaces > Baire theorem, Baire theorem (unknown). Also Mathlib BaireSpace.of_completelyPseudoMetrizable
- thousand_plus: thousand_plus Q1052678, Baire category theorem (statement). Also Mathlib dense_sInter_of_isOpen, Wikidata Q1052678, Wikipedia Baire category theorem
- wikidata: Wikidata Q1052678, Baire category theorem (statement). Also EoM Baire_theorem, nLab Baire category theorem
History
- 2026-10-26: add by m2/dev
characteristic subgroup YYR06TVTMM
| URI | m2://inv/YYR06TVTMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Characteristic subgroup 0KABPMRHM2 |
Mentions
- wikidata: Wikidata Q747027, characteristic subgroup (definition). Also EoM Characteristic_subgroup, ProofWiki Definition:Characteristic_Subgroup
History
- 2026-10-26: add by m2/dev
Pascal matrix YYTJ3BVP6M
| URI | m2://inv/YYTJ3BVP6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7141739, Pascal matrix (unknown). Also MathWorld PascalMatrix
History
- 2026-10-26: add by m2/dev
Oban number YYW6A6BVS8
| URI | m2://inv/YYW6A6BVS8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120336338, Oban number (object). Also MathWorld ObanNumber, OEIS A008521
History
- 2026-10-26: add by m2/dev
greatest common divisor YYYEV3948T
| URI | m2://inv/YYYEV3948T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > greatest common divisor, greatest common divisor (unknown). Also Mathlib GCDMonoid.gcd
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > greatest common divisor, greatest common divisor (unknown). Also Mathlib GCDMonoid.gcd
History
- 2026-10-26: add by m2/dev
Lorenz gauge condition YYZ9FS9RX1
| URI | m2://inv/YYZ9FS9RX1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1203816, Lorenz gauge condition (unknown). Also nLab Lorenz gauge
History
- 2026-10-26: add by m2/dev
Cesàro mean YYZEJS46WK
| URI | m2://inv/YYZEJS46WK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2045894, Cesàro mean (unknown). Also MathWorld CesaroMean
History
- 2026-10-26: add by m2/dev
pentagonal pyramidal number YYZWNT3NPX
| URI | m2://inv/YYZWNT3NPX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2708903, pentagonal pyramidal number (object). Also OEIS A002411
History
- 2026-10-26: add by m2/dev