Inventory rows DN
The cards of the rows of the inventory whose ids start with DN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
coproduct DN0ET7F7G1
| URI | m2://inv/DN0ET7F7G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q692689, coproduct (definition). Also MathWorld Coproduct, nLab coproduct, ProofWiki Definition:Coproduct
History
- 2026-10-26: add by m2/dev
uniform boundedness principle DN0X0A5JRX
| URI | m2://inv/DN0X0A5JRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1426292, Banach–Steinhaus theorem (statement). Also Mathlib banach_steinhaus, Wikidata Q1426292
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > Banach-Steinhaus theorem, Banach-Steinhaus theorem (unknown). Also Mathlib banach_steinhaus
- thousand_plus: thousand_plus Q1426292, Banach–Steinhaus theorem (statement). Also Mathlib banach_steinhaus, Wikidata Q1426292, Wikipedia Banach–Steinhaus theorem
- wikidata: Wikidata Q1426292, uniform boundedness principle (statement). Also EoM Banach-Steinhaus_theorem, MathWorld Banach-SteinhausTheorem, ProofWiki Banach-Steinhaus_Theorem
History
- 2026-10-26: add by m2/dev
hidden sector DN6DEHSNTE
| URI | m2://inv/DN6DEHSNTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16919810, hidden sector (unknown). Also nLab hidden sector
History
- 2026-10-26: add by m2/dev
iron DNC3T1G2RC
| URI | m2://inv/DNC3T1G2RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q677, iron (definition). Also ProofWiki Definition:Iron
History
- 2026-10-26: add by m2/dev
Λ DNCZC0Y7X3
| URI | m2://inv/DNCZC0Y7X3 |
|---|---|
| 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 Q10897, Λ (unknown). Also ProofWiki Symbols:Greek/Lambda
History
- 2026-10-26: add by m2/dev
Adrian Clingher DNFPFHV0Q8
| URI | m2://inv/DNFPFHV0Q8 |
|---|---|
| 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 Q102233995, Adrian Clingher (unknown). Also nLab Adrian Clingher
History
- 2026-10-26: add by m2/dev
Elias Kiritsis DNGN4AZR82
| URI | m2://inv/DNGN4AZR82 |
|---|---|
| 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 Q15441232, Elias Kiritsis (unknown). Also nLab Elias Kiritsis
History
- 2026-10-26: add by m2/dev
Paul Lorenzen DNMB6X2FE5
| URI | m2://inv/DNMB6X2FE5 |
|---|---|
| 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 Q72998, Paul Lorenzen (unknown). Also nLab Paul Lorenzen
History
- 2026-10-26: add by m2/dev
Vladimir Berkovich DNNQDVP7G5
| URI | m2://inv/DNNQDVP7G5 |
|---|---|
| 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 Q7938273, Vladimir Berkovich (unknown). Also nLab Vladimir Berkovich
History
- 2026-10-26: add by m2/dev
self-adjoint operator DNQAWP1VN1
| URI | m2://inv/DNQAWP1VN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > self-adjoint operator, self-adjoint operator (unknown). Also Mathlib IsSelfAdjoint
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > self-adjoint endomorphism, self-adjoint endomorphism (unknown). Also Mathlib IsSelfAdjoint
History
- 2026-10-26: add by m2/dev
Petersen graph DNRNPSH1SE
| URI | m2://inv/DNRNPSH1SE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Petersen graph 0NR95CTFCZ |
Mentions
- wikidata: Wikidata Q835614, Petersen graph (concept). Also EoM Petersen_graph, House of Graphs 660, MathWorld PetersenGraph, ProofWiki Definition:Petersen_Graph
History
- 2026-10-26: add by m2/dev
Hendrik Lenstra DNT3RQRRK1
| URI | m2://inv/DNT3RQRRK1 |
|---|---|
| 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 Q173783, Hendrik Lenstra (unknown). Also nLab Hendrik Lenstra, ProofWiki Mathematician:Hendrik_Willem_Lenstra_Jr.
History
- 2026-10-26: add by m2/dev
convolution of two functions of $\mathcal{S}(\R^d)$ DNTZ5B4Q8S
| URI | m2://inv/DNTZ5B4Q8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > convolution of two functions of $\mathcal{S}(\R^d)$, convolution of two functions of $\mathcal{S}(\R^d)$ (unknown). Also Mathlib SchwartzMap.convolution
History
- 2026-10-26: add by m2/dev
mathematical physics DNXXRQK19Q
| URI | m2://inv/DNXXRQK19Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q156495, mathematical physics (topic). Also EoM Mathematical_physics, nLab mathematical physics, ProofWiki Definition:Mathematical_Physics
History
- 2026-10-26: add by m2/dev
sum-free set DNYPB28Z5D
| URI | m2://inv/DNYPB28Z5D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3054917, sum-free set (unknown). Also MathWorld Sum-FreeSet
History
- 2026-10-26: add by m2/dev
line integral DNZR8BZR08
| URI | m2://inv/DNZR8BZR08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > line integral, line integral (unknown)
History
- 2026-10-26: add by m2/dev