Inventory rows HF
The cards of the rows of the inventory whose ids start with HF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
open map HF25B4ZJMH
| URI | m2://inv/HF25B4ZJMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56653513, open map (unknown). Also MathWorld OpenMap, nLab open map
History
- 2026-10-26: add by m2/dev
Ω/ω HF27RW7GWZ
| URI | m2://inv/HF27RW7GWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9890, Ω/ω (unknown). Also ProofWiki Symbols:Greek/Omega
History
- 2026-10-26: add by m2/dev
H. Blaine Lawson HF5DSW1R9W
| URI | m2://inv/HF5DSW1R9W |
|---|---|
| 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 Q1562550, H. Blaine Lawson (unknown). Also nLab H. Blaine Lawson
History
- 2026-10-26: add by m2/dev
invertibility HF5MASZM48
| URI | m2://inv/HF5MASZM48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Matrices > invertibility, invertibility (unknown). Also Mathlib Matrix.inv
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > invertibility, invertibility (unknown). Also Mathlib Matrix.inv
History
- 2026-10-26: add by m2/dev
Büchi-Elgot-Trakhtenbrot theorem HF5TD523AG
| URI | m2://inv/HF5TD523AG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q107709489, Büchi-Elgot-Trakhtenbrot theorem (statement). Also Wikidata Q107709489
- thousand_plus: thousand_plus Q107709489, Büchi-Elgot-Trakhtenbrot theorem (statement). Also Wikidata Q107709489, Wikipedia Büchi-Elgot-Trakhtenbrot theorem
History
- 2026-10-26: add by m2/dev
matrix HF7QXAQQPH
| URI | m2://inv/HF7QXAQQPH |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11C20 |
| Sources | 3 |
| Outcome | open |
| Node | Matrix 0VD9ZSWWJG |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Matrices > ring-valued matrix, ring-valued matrix (unknown). Also Mathlib Matrix
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > commutative-ring-valued matrices, commutative-ring-valued matrices (unknown). Also Mathlib Matrix
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > field-valued matrices, field-valued matrices (unknown). Also Mathlib Matrix
- wikidata: Wikidata Q44337, matrix (topic). Also EoM Matrix, Mathlib Matrix, MathWorld Matrix, ProofWiki Definition:Matrix
History
- 2026-10-26: add by m2/dev
Krull–Schmidt theorem HF7RV134BG
| URI | m2://inv/HF7RV134BG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226709, Krull–Schmidt theorem (statement). Also Wikidata Q2226709
- thousand_plus: thousand_plus Q2226709, Krull–Schmidt theorem (statement). Also Wikidata Q2226709, Wikipedia Krull–Schmidt theorem
History
- 2026-10-26: add by m2/dev
partial function HF88V68AJT
| URI | m2://inv/HF88V68AJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1756942, partial function (unknown). Also MathWorld PartialFunction, nLab partial function
History
- 2026-10-26: add by m2/dev
positivism HF8JTB8AJD
| URI | m2://inv/HF8JTB8AJD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131015, positivism (unknown). Also nLab positivism
History
- 2026-10-26: add by m2/dev
elongated pentagonal pyramid HF9KQAY273
| URI | m2://inv/HF9KQAY273 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q143112, elongated pentagonal pyramid (object). Also MathWorld ElongatedPentagonalPyramid
History
- 2026-10-26: add by m2/dev
$C^k$ function HFA0JPSYAT
| URI | m2://inv/HFA0JPSYAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Differentiability > $C^k$ function, $C^k$ function (unknown). Also Mathlib ContDiff
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > $k$-times continuously differentiable functions, $k$-times continuously differentiable functions (unknown). Also Mathlib ContDiff
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > $C^k$ functions, $C^k$ functions (unknown). Also Mathlib ContDiff
History
- 2026-10-26: add by m2/dev
autocovariance HFA5B7SP1D
| URI | m2://inv/HFA5B7SP1D |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 62M10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q786973, autocovariance (topic)
History
- 2026-10-26: add by m2/dev
cusp HFBCYBTEC9
| URI | m2://inv/HFBCYBTEC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q655275, cusp (unknown). Also MathWorld Cusp
History
- 2026-10-26: add by m2/dev
Babuška–Lax–Milgram theorem HFDYP2143V
| URI | m2://inv/HFDYP2143V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4838119, Babuška–Lax–Milgram theorem (statement). Also Wikidata Q4838119
- thousand_plus: thousand_plus Q4838119, Babuška–Lax–Milgram theorem (statement). Also Wikidata Q4838119, Wikipedia Babuška–Lax–Milgram theorem
- wikidata: Wikidata Q4838119, Babuška–Lax–Milgram theorem (statement). Also EoM Babuska-Lax-Milgram_theorem
History
- 2026-10-26: add by m2/dev
Riemann surface HFMFPGERY8
| URI | m2://inv/HFMFPGERY8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q753035, Riemann surface (concept). Also EoM Riemann_surface, MathWorld RiemannSurface, nLab Riemann surface, ProofWiki Definition:Riemann_Surface
History
- 2026-10-26: add by m2/dev
quintic equation HFTBAX0687
| URI | m2://inv/HFTBAX0687 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q768390, quintic equation (definition). Also MathWorld QuinticEquation, ProofWiki Definition:Quintic_Equation
History
- 2026-10-26: add by m2/dev
Basu's theorem HFWGEAGNM0
| URI | m2://inv/HFWGEAGNM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q791258, Basu's theorem (statement). Also Wikidata Q791258
- thousand_plus: thousand_plus Q791258, Basu's theorem (statement). Also Wikidata Q791258, Wikipedia Basu's theorem
History
- 2026-10-26: add by m2/dev
translation number HFYN0SDENG
| URI | m2://inv/HFYN0SDENG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Dynamics > Circle dynamics > translation number, translation number (unknown). Also Mathlib CircleDeg1Lift.translationNumber
History
- 2026-10-26: add by m2/dev