Inventory rows D1
The cards of the rows of the inventory whose ids start with D1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
divisible group D12A5VP6W6
| URI | m2://inv/D12A5VP6W6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1782332, divisible group (unknown). Also nLab divisible group
History
- 2026-10-26: add by m2/dev
Mirsky–Newman theorem D14D917ZP3
| URI | m2://inv/D14D917ZP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2993319, Mirsky–Newman theorem (statement). Also Wikidata Q2993319
- thousand_plus: thousand_plus Q2993319, Mirsky–Newman theorem (statement). Also Wikidata Q2993319, Wikipedia Mirsky–Newman theorem
History
- 2026-10-26: add by m2/dev
tangent half-angle formula D16XKQDJQ3
| URI | m2://inv/D16XKQDJQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2641564, tangent half-angle formula (unknown). Also EoM Tangent_formula
History
- 2026-10-26: add by m2/dev
positive matrix D19SPHV44S
| URI | m2://inv/D19SPHV44S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22582649, positive matrix (unknown). Also MathWorld PositiveMatrix
History
- 2026-10-26: add by m2/dev
Fáry's theorem D1BS7ZN5GR
| URI | m2://inv/D1BS7ZN5GR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4455031, Fáry's theorem (statement). Also Wikidata Q4455031
- thousand_plus: thousand_plus Q4455031, Fáry's theorem (statement). Also Wikidata Q4455031, Wikipedia Fáry's theorem
History
- 2026-10-26: add by m2/dev
Gauss–Lucas theorem D1MSBF2TSD
| URI | m2://inv/D1MSBF2TSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1008566, Gauss–Lucas theorem (statement). Also Mathlib Polynomial.rootSet_derivative_subset_convexHull_rootSet, Mathlib Polynomial.eq_centerMass_of_eval_derivative_eq_zero, Wikidata Q1008566
- thousand_plus: thousand_plus Q1008566, Gauss–Lucas theorem (statement). Also Mathlib Polynomial.rootSet_derivative_subset_convexHull_rootSet, Mathlib Polynomial.eq_centerMass_of_eval_derivative_eq_zero, Wikidata Q1008566, Wikipedia Gauss–Lucas theorem
- wikidata: Wikidata Q1008566, Gauss–Lucas theorem (statement). Also MathWorld LucasGaussTheorem
History
- 2026-10-26: add by m2/dev
compact open topology D1P42A4X9F
| URI | m2://inv/D1P42A4X9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > compact open topology, compact open topology (unknown). Also Mathlib ContinuousMap.compactOpen
History
- 2026-10-26: add by m2/dev
Grushko theorem D1SG6MY401
| URI | m2://inv/D1SG6MY401 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17019684, Grushko theorem (statement). Also Wikidata Q17019684
- thousand_plus: thousand_plus Q17019684, Grushko theorem (statement). Also Wikidata Q17019684, Wikipedia Grushko theorem
History
- 2026-10-26: add by m2/dev
Yaël Frégier D1WXJDF10Y
| URI | m2://inv/D1WXJDF10Y |
|---|---|
| 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 Q102330338, Yaël Frégier (unknown). Also nLab Yael Fregier
History
- 2026-10-26: add by m2/dev
exa D1ZCNGCJ2H
| URI | m2://inv/D1ZCNGCJ2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q152411, exa (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/exa-
History
- 2026-10-26: add by m2/dev