Inventory rows JF
The cards of the rows of the inventory whose ids start with JF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Harris-Kleitman inequality JF13H02AQ7
| URI | m2://inv/JF13H02AQ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > Harris-Kleitman inequality, Harris-Kleitman inequality (unknown). Also Mathlib IsLowerSet.le_card_inter_finset
History
- 2026-10-26: add by m2/dev
algebraic set JF26WXH4VE
| URI | m2://inv/JF26WXH4VE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3042316, algebraic set (unknown). Also MathWorld AlgebraicSet
History
- 2026-10-26: add by m2/dev
p-adic valuation JF67RNCAKA
| URI | m2://inv/JF67RNCAKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | P-adic valuation 03HDF50VN4 |
Mentions
- wikidata: Wikidata Q4008396, p-adic valuation (unknown). Also EoM P-adic_valuation
History
- 2026-10-26: add by m2/dev
one-form JF8EDEWW3B
| URI | m2://inv/JF8EDEWW3B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | One-form 02Z5B2HA3F |
Mentions
- wikidata: Wikidata Q2608202, one-form (concept). Also EoM Pfaffian_form, MathWorld One-Form
History
- 2026-10-26: add by m2/dev
countably infinite set JFB4D3GAYD
| URI | m2://inv/JFB4D3GAYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185478, countably infinite set (definition). Also MathWorld CountablyInfinite, ProofWiki Definition:Countably_Infinite
History
- 2026-10-26: add by m2/dev
De Finetti's theorem JFF936NRMD
| URI | m2://inv/JFF936NRMD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4408070, De Finetti's theorem (statement). Also Wikidata Q4408070
- thousand_plus: thousand_plus Q4408070, De Finetti's theorem (statement). Also Wikidata Q4408070, Wikipedia De Finetti's theorem
History
- 2026-10-26: add by m2/dev
Schrödinger equation JFHP6082NA
| URI | m2://inv/JFHP6082NA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q165498, Schrödinger equation (definition). Also MathWorld SchroedingerEquation, nLab Schrödinger equation, ProofWiki Definition:Schrödinger's_Equation
History
- 2026-10-26: add by m2/dev
Nelder–Mead method JFMG41D8CG
| URI | m2://inv/JFMG41D8CG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1253278, Nelder–Mead method (unknown). Also MathWorld Nelder-MeadMethod
History
- 2026-10-26: add by m2/dev
coefficient JFNTZ2PJH4
| URI | m2://inv/JFNTZ2PJH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50700, coefficient (definition). Also MathWorld Coefficient, nLab coefficient, ProofWiki Definition:Coefficient
History
- 2026-10-26: add by m2/dev
257-gon JFPNJTYQGP
| URI | m2://inv/JFPNJTYQGP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q218261, 257-gon (unknown). Also MathWorld 257-gon
History
- 2026-10-26: add by m2/dev
contour integral JFQTEF3FY6
| URI | m2://inv/JFQTEF3FY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116907694, contour integral (definition). Also MathWorld ContourIntegral, ProofWiki Definition:Contour_Integral/Complex
History
- 2026-10-26: add by m2/dev
electroweak interaction JFSW7S4MYX
| URI | m2://inv/JFSW7S4MYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q466416, electroweak interaction (unknown). Also nLab electroweak field
History
- 2026-10-26: add by m2/dev
Moduli stack of formal group laws JFTQ02RFB8
| URI | m2://inv/JFTQ02RFB8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17126469, Moduli stack of formal group laws (unknown). Also nLab moduli stack of formal groups
History
- 2026-10-26: add by m2/dev
spherical Bessel function JFTSS21ZCG
| URI | m2://inv/JFTSS21ZCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3075189, spherical Bessel function (unknown). Also MathWorld SphericalBesselFunction, MathWorld SphericalBesselFunctionoftheFirstKind
History
- 2026-10-26: add by m2/dev
Selmer group JFX3HD86XD
| URI | m2://inv/JFX3HD86XD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7448760, Selmer group (concept). Also MathWorld SelmerGroup
History
- 2026-10-26: add by m2/dev
Robertson–Wegner graph JFZEC8R6PV
| URI | m2://inv/JFZEC8R6PV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115528, Robertson–Wegner graph (unknown). Also House of Graphs 1290, MathWorld Robertson-WegnerGraph
History
- 2026-10-26: add by m2/dev
eigenfunction JFZY7GZZ75
| URI | m2://inv/JFZY7GZZ75 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1307821, eigenfunction (concept). Also MathWorld Eigenfunction
History
- 2026-10-26: add by m2/dev