Inventory rows H2
The cards of the rows of the inventory whose ids start with H2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
direct image with compact support H231ME09WV
| URI | m2://inv/H231ME09WV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5280341, direct image with compact support (unknown). Also nLab direct image with compact support
History
- 2026-10-26: add by m2/dev
ultrametric space H250HT01XR
| URI | m2://inv/H250HT01XR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1897429, ultrametric space (unknown). Also MathWorld Ultrametric
History
- 2026-10-26: add by m2/dev
pound-force H27D28WJPW
| URI | m2://inv/H27D28WJPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1194225, pound-force (definition). Also ProofWiki Definition:FPS/Force/Pound_Force
History
- 2026-10-26: add by m2/dev
Witten conjecture H2BNDRQQ88
| URI | m2://inv/H2BNDRQQ88 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8028565, Witten conjecture (conjecture). Also nLab Witten conjecture
History
- 2026-10-26: add by m2/dev
Thomas Joannes Stieltjes H2EMZJFFAS
| URI | m2://inv/H2EMZJFFAS |
|---|---|
| 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 Q510916, Thomas Joannes Stieltjes (unknown). Also ProofWiki Mathematician:Thomas_Joannes_Stieltjes
History
- 2026-10-26: add by m2/dev
Klein quadric H2EW2DS887
| URI | m2://inv/H2EW2DS887 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6420195, Klein quadric (unknown). Also nLab Klein quadric
History
- 2026-10-26: add by m2/dev
Herbrand–Ribet theorem H2HJPX3M9G
| URI | m2://inv/H2HJPX3M9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q384142, Herbrand–Ribet theorem (statement). Also Wikidata Q384142
- thousand_plus: thousand_plus Q384142, Herbrand–Ribet theorem (statement). Also Wikidata Q384142, Wikipedia Herbrand–Ribet theorem
History
- 2026-10-26: add by m2/dev
degree-sum formula H2S7FH75JT
| URI | m2://inv/H2S7FH75JT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Graph theory > degree-sum formula, degree-sum formula (unknown). Also Mathlib SimpleGraph.sum_degrees_eq_twice_card_edges
History
- 2026-10-26: add by m2/dev
dyadic product H2SAZTY33Z
| URI | m2://inv/H2SAZTY33Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2396526, dyadic product (unknown). Also MathWorld Dyad
History
- 2026-10-26: add by m2/dev
canonical bundle H2T5C94BAS
| URI | m2://inv/H2T5C94BAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844128, canonical bundle (unknown). Also MathWorld CanonicalBundle, nLab canonical bundle
History
- 2026-10-26: add by m2/dev
adiabatic invariant H2V49EEQDK
| URI | m2://inv/H2V49EEQDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2632009, adiabatic invariant (unknown). Also EoM Adiabatic_invariant, MathWorld AdiabaticInvariant
History
- 2026-10-26: add by m2/dev