Inventory rows HA
The cards of the rows of the inventory whose ids start with HA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
apothecaries' system HA07AM75YM
| URI | m2://inv/HA07AM75YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q620565, apothecaries' system (definition). Also ProofWiki Definition:Apothecaries'_Weights_and_Measures
History
- 2026-10-26: add by m2/dev
Sator Square HA182Z3B77
| URI | m2://inv/HA182Z3B77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41898, Sator Square (unknown). Also MathWorld TemplarMagicSquare
History
- 2026-10-26: add by m2/dev
Todd class HA1TJNX5Y0
| URI | m2://inv/HA1TJNX5Y0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2438393, Todd class (concept). Also nLab Todd class
History
- 2026-10-26: add by m2/dev
Descartes' rule of signs HA3NM64NFE
| URI | m2://inv/HA3NM64NFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1379344, Descartes' rule of signs (statement). Also MathWorld DescartesSignRule
History
- 2026-10-26: add by m2/dev
Savdeep Sethi HA3YVR54VV
| URI | m2://inv/HA3YVR54VV |
|---|---|
| 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 Q59672168, Savdeep Sethi (unknown). Also nLab Savdeep Sethi
History
- 2026-10-26: add by m2/dev
general linear group as a Lie group HA4QTT7N2Y
| URI | m2://inv/HA4QTT7N2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > general linear group as a Lie group, general linear group as a Lie group (unknown). Also Mathlib Units.instLieGroupModelWithCornersSelf
History
- 2026-10-26: add by m2/dev
action at a distance HA87MG9HD6
| URI | m2://inv/HA87MG9HD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1407429, action at a distance (definition). Also ProofWiki Definition:Action_at_a_Distance
History
- 2026-10-26: add by m2/dev
Kaplan–Yorke map HAA6RAPGW8
| URI | m2://inv/HAA6RAPGW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6366845, Kaplan–Yorke map (unknown). Also MathWorld Kaplan-YorkeMap
History
- 2026-10-26: add by m2/dev
trillium theorem HADXS061QD
| URI | m2://inv/HADXS061QD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18430596, trillium theorem (statement). Also MathWorld Incenter-ExcenterCircle
History
- 2026-10-26: add by m2/dev
analytic set HAFT87QHNS
| URI | m2://inv/HAFT87QHNS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q485312, analytic set (unknown). Also MathWorld AnalyticSet
History
- 2026-10-26: add by m2/dev
Completeness of $\mathrm{L}^p$ spaces HAK767CK6V
| URI | m2://inv/HAK767CK6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > Completeness of $\mathrm{L}^p$ spaces, Completeness of $\mathrm{L}^p$ spaces (unknown). Also Mathlib MeasureTheory.Lp.instCompleteSpace
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > completeness of $L^2$, completeness of $L^2$ (unknown). Also Mathlib MeasureTheory.Lp.instCompleteSpace
History
- 2026-10-26: add by m2/dev
mole HAN94758KQ
| URI | m2://inv/HAN94758KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41509, mole (definition). Also ProofWiki Definition:Mole
History
- 2026-10-26: add by m2/dev
game board HAQ3TXRWSF
| URI | m2://inv/HAQ3TXRWSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1258741, game board (unknown). Also MathWorld Board
History
- 2026-10-26: add by m2/dev
Mazur's control theorem HAQ53J1YWE
| URI | m2://inv/HAQ53J1YWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6799039, Mazur's control theorem (statement). Also Wikidata Q6799039
- thousand_plus: thousand_plus Q6799039, Mazur's control theorem (statement). Also Wikidata Q6799039, Wikipedia Mazur's control theorem
History
- 2026-10-26: add by m2/dev
Trudinger's theorem HAT012QPGM
| URI | m2://inv/HAT012QPGM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7847268, Trudinger's theorem (statement). Also Wikidata Q7847268
- thousand_plus: thousand_plus Q7847268, Trudinger's theorem (statement). Also Wikidata Q7847268, Wikipedia Trudinger's theorem
History
- 2026-10-26: add by m2/dev
Sergio Ferrara HAY88NV2EM
| URI | m2://inv/HAY88NV2EM |
|---|---|
| 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 Q364713, Sergio Ferrara (unknown). Also nLab Sergio Ferrara
History
- 2026-10-26: add by m2/dev
Max Kelly HAYJN07S82
| URI | m2://inv/HAYJN07S82 |
|---|---|
| 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 Q6794922, Max Kelly (unknown). Also nLab Max Kelly
History
- 2026-10-26: add by m2/dev
local field HAZ6WVVY21
| URI | m2://inv/HAZ6WVVY21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1868517, local field (unknown). Also MathWorld LocalField, nLab local field
History
- 2026-10-26: add by m2/dev
hectometre HAZSH679GT
| URI | m2://inv/HAZSH679GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844338, hectometre (definition). Also ProofWiki Definition:Metric_System/Length/Hectometre
History
- 2026-10-26: add by m2/dev