Inventory rows J2
The cards of the rows of the inventory whose ids start with J2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
totally bounded space J21PSWEFG6
| URI | m2://inv/J21PSWEFG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Totally bounded set 020Q06TYYH |
Mentions
- wikidata: Wikidata Q1362228, totally bounded space (unknown). Also nLab totally bounded space
History
- 2026-10-26: add by m2/dev
regular representation J26NTX53DZ
| URI | m2://inv/J26NTX53DZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1555242, regular representation (unknown). Also EoM Regular_representation, nLab regular representation
History
- 2026-10-26: add by m2/dev
G.H. Hardy J28NMA5TMM
| URI | m2://inv/J28NMA5TMM |
|---|---|
| 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 Q184337, G.H. Hardy (unknown). Also nLab G. H. Hardy
History
- 2026-10-26: add by m2/dev
gyrobifastigium J29PE03162
| URI | m2://inv/J29PE03162 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q250913, gyrobifastigium (object). Also MathWorld Gyrobifastigium
History
- 2026-10-26: add by m2/dev
Chris Heunen J2BRJR9SD9
| URI | m2://inv/J2BRJR9SD9 |
|---|---|
| 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 Q97055605, Chris Heunen (unknown). Also nLab Chris Heunen
History
- 2026-10-26: add by m2/dev
Rocq prover J2DYX5TP4E
| URI | m2://inv/J2DYX5TP4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1131652, Rocq prover (unknown). Also nLab Rocq
History
- 2026-10-26: add by m2/dev
Frattini subgroup J2G176WT48
| URI | m2://inv/J2G176WT48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q176244, Frattini subgroup (unknown). Also EoM Frattini_subgroup, MathWorld FrattiniSubgroup
History
- 2026-10-26: add by m2/dev
carbon-14 J2GPNYZNCD
| URI | m2://inv/J2GPNYZNCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q840660, carbon-14 (definition). Also ProofWiki Definition:Carbon/14
History
- 2026-10-26: add by m2/dev
almost sure convergence J2HMKJBYP8
| URI | m2://inv/J2HMKJBYP8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > almost sure convergence, almost sure convergence (unknown). Also Mathlib MeasureTheory.ae
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > almost surely convergence, almost surely convergence (unknown). Also Mathlib MeasureTheory.ae
History
- 2026-10-26: add by m2/dev
Cartan–Dieudonné theorem J2J2K35KSR
| URI | m2://inv/J2J2K35KSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2540738, Cartan–Dieudonné theorem (statement). Also Wikidata Q2540738
- thousand_plus: thousand_plus Q2540738, Cartan–Dieudonné theorem (statement). Also Wikidata Q2540738, Wikipedia Cartan–Dieudonné theorem
History
- 2026-10-26: add by m2/dev
Church–Turing thesis J2M4NXH2HW
| URI | m2://inv/J2M4NXH2HW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q309157, Church–Turing thesis (statement). Also MathWorld Church-TuringThesis, nLab Church-Turing thesis, ProofWiki Church's_Thesis
History
- 2026-10-26: add by m2/dev
simple contour J2M6D24WNZ
| URI | m2://inv/J2M6D24WNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120726169, simple contour (definition). Also ProofWiki Definition:Contour/Simple/Complex_Plane
History
- 2026-10-26: add by m2/dev
lattice graph J2PWD1RY7R
| URI | m2://inv/J2PWD1RY7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6497118, lattice graph (unknown). Also MathWorld LatticeGraph
History
- 2026-10-26: add by m2/dev
Sylow theorems J2SQGB265F
| URI | m2://inv/J2SQGB265F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 5 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 72, Sylow’s Theorem (statement). Also Mathlib Sylow.exists_subgroup_card_pow_prime, Mathlib Sylow.isPretransitive_of_finite, Mathlib Sylow.card_dvd_index, Mathlib card_sylow_modEq_one
- mathlib_1000: mathlib_1000 Q1057919, Sylow theorems (statement). Also Mathlib Sylow.exists_subgroup_card_pow_prime, Mathlib Sylow.isPretransitive_of_finite, Mathlib Sylow.card_dvd_index, Mathlib card_sylow_modEq_one, Wikidata Q1057919
- mathlib_overview: mathlib_overview General algebra > Group theory > first Sylow theorem, first Sylow theorem (unknown). Also Mathlib Sylow.exists_subgroup_card_pow_prime
- mathlib_overview: mathlib_overview General algebra > Group theory > second Sylow theorem, second Sylow theorem (unknown). Also Mathlib Sylow.isPretransitive_of_finite
- mathlib_overview: mathlib_overview General algebra > Group theory > third Sylow theorem, third Sylow theorem (unknown). Also Mathlib card_sylow_modEq_one
- thousand_plus: thousand_plus Q1057919, Sylow theorems (statement). Also Mathlib Sylow.exists_subgroup_card_pow_prime, Mathlib Sylow.isPretransitive_of_finite, Mathlib Sylow.card_dvd_index, Mathlib card_sylow_modEq_one, Wikidata Q1057919, Wikipedia Sylow theorems
- wikidata: Wikidata Q1057919, Sylow theorems (statement). Also EoM Sylow_theorems, MathWorld SylowTheorems, ProofWiki Sylow_Theorems
History
- 2026-10-26: add by m2/dev
Akhiezer's theorem J2VH7AR9W6
| URI | m2://inv/J2VH7AR9W6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4700718, Akhiezer's theorem (statement). Also Wikidata Q4700718
- thousand_plus: thousand_plus Q4700718, Akhiezer's theorem (statement). Also Wikidata Q4700718, Wikipedia Akhiezer's theorem
History
- 2026-10-26: add by m2/dev
cyclotomic field J2VJX0YTC6
| URI | m2://inv/J2VJX0YTC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1554628, cyclotomic field (unknown). Also MathWorld CyclotomicField, nLab cyclotomic field
History
- 2026-10-26: add by m2/dev
Arthur Prior J2Z6R9FGEG
| URI | m2://inv/J2Z6R9FGEG |
|---|---|
| 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 Q250020, Arthur Prior (unknown). Also nLab Arthur Prior
History
- 2026-10-26: add by m2/dev