Inventory rows CN
The cards of the rows of the inventory whose ids start with CN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
third fundamental form CN0NS2A168
| URI | m2://inv/CN0NS2A168 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25099907, third fundamental form (concept). Also MathWorld ThirdFundamentalForm
History
- 2026-10-26: add by m2/dev
Plücker's conoid CN19A4KXFE
| URI | m2://inv/CN19A4KXFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7205923, Plücker's conoid (unknown). Also MathWorld PlueckersConoid
History
- 2026-10-26: add by m2/dev
totally positive matrix CN1B88K6E5
| URI | m2://inv/CN1B88K6E5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3893192, totally positive matrix (unknown). Also MathWorld TotallyPositiveMatrix, nLab totally positive matrix
History
- 2026-10-26: add by m2/dev
disjunctive normal form CN2SAXWJ5G
| URI | m2://inv/CN2SAXWJ5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Disjunctive normal form 0GVDFAY4KW |
Mentions
- wikidata: Wikidata Q903789, disjunctive normal form (unknown). Also MathWorld DisjunctiveNormalForm
History
- 2026-10-26: add by m2/dev
Laguerre polynomial CN5484Y1N8
| URI | m2://inv/CN5484Y1N8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1124546, Laguerre polynomial (concept). Also EoM Laguerre_polynomials, MathWorld LaguerrePolynomial
History
- 2026-10-26: add by m2/dev
Shinichiro Tomonaga CN5Z45NZ0K
| URI | m2://inv/CN5Z45NZ0K |
|---|---|
| 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 Q184563, Shinichiro Tomonaga (unknown). Also nLab Shin'ichirō Tomonaga
History
- 2026-10-26: add by m2/dev
singular solution CN7HS53FH4
| URI | m2://inv/CN7HS53FH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 35B40 |
| Sources | 1 |
| Outcome | open |
| Node | Singular solution 0Q2MDD13G4 |
Mentions
- wikidata: Wikidata Q4338245, singular solution (topic)
History
- 2026-10-26: add by m2/dev
continuity of integrals with respect to parameters CNE7XH7Z2K
| URI | m2://inv/CNE7XH7Z2K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > continuity of integrals with respect to parameters, continuity of integrals with respect to parameters (unknown). Also Mathlib intervalIntegral.continuous_of_dominated_interval
History
- 2026-10-26: add by m2/dev
Moshé Flato CNJTPS9PZ7
| URI | m2://inv/CNJTPS9PZ7 |
|---|---|
| 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 Q1949272, Moshé Flato (unknown). Also nLab Moshé Flato
History
- 2026-10-26: add by m2/dev
Fatou–Lebesgue theorem CNJZSEM8Y0
| URI | m2://inv/CNJZSEM8Y0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5437947, Fatou–Lebesgue theorem (statement). Also Mathlib MeasureTheory.lintegral_liminf_le, Wikidata Q5437947
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Fatou's lemma, Fatou's lemma (unknown). Also Mathlib MeasureTheory.lintegral_liminf_le
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > Fatou's lemma, Fatou's lemma (unknown). Also Mathlib MeasureTheory.lintegral_liminf_le
- thousand_plus: thousand_plus Q5437947, Fatou–Lebesgue theorem (statement). Also Mathlib MeasureTheory.lintegral_liminf_le, Wikidata Q5437947, Wikipedia Fatou–Lebesgue theorem
History
- 2026-10-26: add by m2/dev
Einstein manifold CNMPMCC7Y3
| URI | m2://inv/CNMPMCC7Y3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1309313, Einstein manifold (unknown). Also MathWorld EinsteinManifold, nLab Einstein manifold
History
- 2026-10-26: add by m2/dev
elongated triangular bipyramid CNQVT3022B
| URI | m2://inv/CNQVT3022B |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q192535, elongated triangular bipyramid (object). Also MathWorld ElongatedTriangularDipyramid
History
- 2026-10-26: add by m2/dev
rational fraction fields with one indeterminate over a field CNVK3NT5P7
| URI | m2://inv/CNVK3NT5P7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > rational fraction fields with one indeterminate over a field, rational fraction fields with one indeterminate over a field (unknown). Also Mathlib RatFunc
History
- 2026-10-26: add by m2/dev
Eric Temple Bell CNXQPD1JCV
| URI | m2://inv/CNXQPD1JCV |
|---|---|
| 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 Q548140, Eric Temple Bell (unknown). Also ProofWiki Mathematician:Eric_Temple_Bell
History
- 2026-10-26: add by m2/dev