Inventory rows 9A
The cards of the rows of the inventory whose ids start with 9A. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Spearman's rank correlation coefficient 9A44KE62YR
| URI | m2://inv/9A44KE62YR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1126730, Spearman's rank correlation coefficient (unknown). Also MathWorld SpearmanRankCorrelationCoefficient
History
- 2026-10-26: add by m2/dev
alternating groups on 5 letters or more are simple 9A4EAMM62K
| URI | m2://inv/9A4EAMM62K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > alternating groups on 5 letters or more are simple, alternating groups on 5 letters or more are simple (unknown). Also Mathlib alternatingGroup.isSimpleGroup
History
- 2026-10-26: add by m2/dev
filtration 9A96CEASEX
| URI | m2://inv/9A96CEASEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1187724, filtration (unknown). Also MathWorld Filtration
History
- 2026-10-26: add by m2/dev
product of finitely many measures 9AD0DRM3ZD
| URI | m2://inv/9AD0DRM3ZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > product of finitely many measures, product of finitely many measures (unknown). Also Mathlib MeasureTheory.Measure.pi
History
- 2026-10-26: add by m2/dev
rectangular cuboid 9AEZCSCHGE
| URI | m2://inv/9AEZCSCHGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q262959, rectangular cuboid (unknown). Also MathWorld Cuboid
History
- 2026-10-26: add by m2/dev
Fundamental Theorem of Algebra 9AJKHXZN96
| URI | m2://inv/9AJKHXZN96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 2, Fundamental Theorem of Algebra (statement). Also Mathlib Complex.exists_root
- mathlib_overview: mathlib_overview General algebra > Field theory > $\C$ is algebraically closed, $\C$ is algebraically closed (unknown). Also Mathlib Complex.exists_root
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > $\C$ is algebraically closed, $\C$ is algebraically closed (unknown). Also Mathlib Complex.exists_root
History
- 2026-10-26: add by m2/dev
special linear Lie algebra 9ATM302BSK
| URI | m2://inv/9ATM302BSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7574831, special linear Lie algebra (unknown). Also MathWorld SpecialLinearLieAlgebra, nLab special linear Lie algebra
History
- 2026-10-26: add by m2/dev
hafnian 9ATZZEC4K0
| URI | m2://inv/9ATZZEC4K0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25101392, hafnian (unknown). Also nLab hafnian
History
- 2026-10-26: add by m2/dev