Inventory rows JB
The cards of the rows of the inventory whose ids start with JB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Lusin's theorem JB0PA0HJVT
| URI | m2://inv/JB0PA0HJVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1361393, Luzin's theorem (statement). Also Wikidata Q1361393
- thousand_plus: thousand_plus Q1361393, Luzin's theorem (statement). Also Wikidata Q1361393, Wikipedia Luzin's theorem
- wikidata: Wikidata Q1361393, Lusin's theorem (statement). Also MathWorld LusinsTheorem
History
- 2026-10-26: add by m2/dev
Eikonal equation JB0WT628DK
| URI | m2://inv/JB0WT628DK |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 35F20 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1303846, Eikonal equation (topic)
History
- 2026-10-26: add by m2/dev
Householder matrix JB1GWEFEQW
| URI | m2://inv/JB1GWEFEQW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43217907, Householder matrix (concept). Also MathWorld HouseholderMatrix
History
- 2026-10-26: add by m2/dev
Riemann–von Mangoldt formula JB3D6QZBHD
| URI | m2://inv/JB3D6QZBHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3748379, Riemann–von Mangoldt formula (statement). Also MathWorld Riemann-vonMangoldtFormula
History
- 2026-10-26: add by m2/dev
compound of ten tetrahedra JBJNZ8S56B
| URI | m2://inv/JBJNZ8S56B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q520271, compound of ten tetrahedra (unknown). Also MathWorld Tetrahedron10-Compound
History
- 2026-10-26: add by m2/dev
functor that reflects limits JBKPF5REGG
| URI | m2://inv/JBKPF5REGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141066057, functor that reflects limits (unknown). Also nLab reflected limit
History
- 2026-10-26: add by m2/dev
Distributions JBR1APXZB4
| URI | m2://inv/JBR1APXZB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Distribution theory > Distributions, Distributions (unknown). Also Mathlib Distribution
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > definition of distributions, definition of distributions (unknown). Also Mathlib Distribution
History
- 2026-10-26: add by m2/dev
F26A graph JBSP44E8PA
| URI | m2://inv/JBSP44E8PA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5424189, F26A graph (unknown). Also House of Graphs 36342
History
- 2026-10-26: add by m2/dev
proof net JBW75D4BEA
| URI | m2://inv/JBW75D4BEA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3457091, proof net (unknown). Also nLab proof net
History
- 2026-10-26: add by m2/dev
Schwinger effect JBZ4GAJAMA
| URI | m2://inv/JBZ4GAJAMA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60519967, Schwinger effect (unknown). Also nLab Schwinger effect
History
- 2026-10-26: add by m2/dev