Inventory rows H0
The cards of the rows of the inventory whose ids start with H0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kolmogorov extension theorem H004AG93D6
| URI | m2://inv/H004AG93D6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3526996, Kolmogorov extension theorem (statement). Also Wikidata Q3526996
- thousand_plus: thousand_plus Q3526996, Kolmogorov extension theorem (statement). Also Wikidata Q3526996, Wikipedia Kolmogorov extension theorem
History
- 2026-10-26: add by m2/dev
Monge–Ampère equation H0716SCJZ0
| URI | m2://inv/H0716SCJZ0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1552291, Monge–Ampère equation (concept). Also MathWorld Monge-AmpereDifferentialEquation
History
- 2026-10-26: add by m2/dev
Mittag-Leffler function H086C7HTJ6
| URI | m2://inv/H086C7HTJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 33E12 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1935235, Mittag-Leffler function (topic). Also MathWorld Mittag-LefflerFunction
History
- 2026-10-26: add by m2/dev
H0BB0MBHVA H0BB0MBHVA
| URI | m2://inv/H0BB0MBHVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43016 (statement). Also MathWorld Thousand, ProofWiki 1000
History
- 2026-10-26: add by m2/dev
field of fractions of an integral domain H0CJZMMMVC
| URI | m2://inv/H0CJZMMMVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > field of fractions of an integral domain, field of fractions of an integral domain (unknown). Also Mathlib IsFractionRing
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > field of fractions of an integral domain, field of fractions of an integral domain (unknown). Also Mathlib IsFractionRing
History
- 2026-10-26: add by m2/dev
rhombicosahedron H0FB2BBDKV
| URI | m2://inv/H0FB2BBDKV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28992, rhombicosahedron (unknown). Also MathWorld Rhombicosahedron
History
- 2026-10-26: add by m2/dev
nearest integer function H0G2H2W1PE
| URI | m2://inv/H0G2H2W1PE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6583251, nearest integer function (unknown). Also MathWorld NearestIntegerFunction
History
- 2026-10-26: add by m2/dev
Conchospiral H0M4SRSTPB
| URI | m2://inv/H0M4SRSTPB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5158680, Conchospiral (concept). Also MathWorld Concho-Spiral
History
- 2026-10-26: add by m2/dev
partition of unity H0PSV59E5H
| URI | m2://inv/H0PSV59E5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q191690, partition of unity (definition). Also MathWorld PartitionofUnity, nLab partition of unity, ProofWiki Definition:Partition_of_Unity_(Topology)
History
- 2026-10-26: add by m2/dev
characteristic class H0T4PP9DSF
| URI | m2://inv/H0T4PP9DSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1062978, characteristic class (unknown). Also MathWorld CharacteristicClass, nLab characteristic class
History
- 2026-10-26: add by m2/dev
ruler function H0YGFYB1E1
| URI | m2://inv/H0YGFYB1E1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111940079, ruler function (unknown). Also MathWorld RulerFunction
History
- 2026-10-26: add by m2/dev
relatively compact subspace H0Z704JN0S
| URI | m2://inv/H0Z704JN0S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q610232, relatively compact subspace (unknown). Also EoM Pre-compact_space, nLab relatively compact subspace
History
- 2026-10-26: add by m2/dev
Jastrow illusion H0ZH6KENHT
| URI | m2://inv/H0ZH6KENHT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2479234, Jastrow illusion (unknown). Also MathWorld JastrowIllusion
History
- 2026-10-26: add by m2/dev