Inventory rows H9
The cards of the rows of the inventory whose ids start with H9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Lee Hwa Chung theorem H93B0ND3VT
| URI | m2://inv/H93B0ND3VT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6513990, Lee Hwa Chung theorem (statement). Also Wikidata Q6513990
- thousand_plus: thousand_plus Q6513990, Lee Hwa Chung theorem (statement). Also Wikidata Q6513990, Wikipedia Lee Hwa Chung theorem
History
- 2026-10-26: add by m2/dev
conjunctive normal form H93GMYRY24
| URI | m2://inv/H93GMYRY24 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Conjunctive normal form 0B3D4C8YF2 |
Mentions
- wikidata: Wikidata Q846564, conjunctive normal form (unknown). Also MathWorld ConjunctiveNormalForm
History
- 2026-10-26: add by m2/dev
Fair Games Theorem H953ZPMM85
| URI | m2://inv/H953ZPMM85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 62, Fair Games Theorem (statement). Also Mathlib MeasureTheory.submartingale_iff_expected_stoppedValue_mono
- mathlib_1000: mathlib_1000 Q2027347, Optional stopping theorem (statement). Also Mathlib MeasureTheory.submartingale_iff_expected_stoppedValue_mono, Wikidata Q2027347
- mathlib_overview: mathlib_overview Probability Theory > Stochastic Processes > optional stopping theorem, optional stopping theorem (unknown). Also Mathlib MeasureTheory.submartingale_iff_expected_stoppedValue_mono
- thousand_plus: thousand_plus Q2027347, Optional stopping theorem (statement). Also Mathlib MeasureTheory.submartingale_iff_expected_stoppedValue_mono, Wikidata Q2027347, Wikipedia Optional stopping theorem
History
- 2026-10-26: add by m2/dev
Rayleigh distribution H9BAQ3JCSY
| URI | m2://inv/H9BAQ3JCSY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q637150, Rayleigh distribution (unknown). Also MathWorld RayleighDistribution
History
- 2026-10-26: add by m2/dev
tacnode H9EN3Z9PP9
| URI | m2://inv/H9EN3Z9PP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3980034, tacnode (unknown). Also MathWorld Tacnode
History
- 2026-10-26: add by m2/dev
isogeny H9H7W5B4EP
| URI | m2://inv/H9H7W5B4EP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1674414, isogeny (unknown). Also EoM Isogeny, MathWorld Isogeny, nLab isogeny
History
- 2026-10-26: add by m2/dev
nilpotent algebra H9KAYEC9PA
| URI | m2://inv/H9KAYEC9PA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16155107, nilpotent algebra (unknown). Also MathWorld NilpotentAlgebra
History
- 2026-10-26: add by m2/dev
oxygen H9SX6GZK86
| URI | m2://inv/H9SX6GZK86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q629, oxygen (definition). Also ProofWiki Definition:Oxygen
History
- 2026-10-26: add by m2/dev
premise H9V4MA0FA3
| URI | m2://inv/H9V4MA0FA3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q321703, premise (unknown). Also MathWorld Premise
History
- 2026-10-26: add by m2/dev
Cheeger finiteness theorem H9WSAZZZQ2
| URI | m2://inv/H9WSAZZZQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18411092, Cheeger finiteness theorem (statement). Also MathWorld CheegersFinitenessTheorem
History
- 2026-10-26: add by m2/dev
dividing a circle into areas H9WTV5BC9H
| URI | m2://inv/H9WTV5BC9H |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5284051, dividing a circle into areas (object). Also MathWorld CircleDivisionbyChords, OEIS A000127
History
- 2026-10-26: add by m2/dev
Galois correspondence H9XA6DFCN1
| URI | m2://inv/H9XA6DFCN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > Galois correspondence, Galois correspondence (unknown). Also Mathlib IsGalois.intermediateFieldEquivSubgroup
History
- 2026-10-26: add by m2/dev
Casting out nines H9YXA5ZSXE
| URI | m2://inv/H9YXA5ZSXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Casting out nines 0E7W0EM6J6 |
Mentions
- wikidata: Wikidata Q1757155, Casting out nines (unknown). Also MathWorld CastingOutNines
History
- 2026-10-26: add by m2/dev