Inventory rows 31
The cards of the rows of the inventory whose ids start with 31. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Uniformization theorem 310G3FM3SN
| URI | m2://inv/310G3FM3SN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2109761, Uniformization theorem (statement). Also Wikidata Q2109761
- thousand_plus: thousand_plus Q2109761, Uniformization theorem (statement). Also Wikidata Q2109761, Wikipedia Uniformization theorem
History
- 2026-10-26: add by m2/dev
BTZ black hole 312T1S8AJ1
| URI | m2://inv/312T1S8AJ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4836741, BTZ black hole (unknown). Also nLab BTZ black hole
History
- 2026-10-26: add by m2/dev
Prime signature 3136M77J1V
| URI | m2://inv/3136M77J1V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7243382, Prime signature (concept). Also MathWorld PrimeSignature
History
- 2026-10-26: add by m2/dev
quotient type 31A6BAMCZB
| URI | m2://inv/31A6BAMCZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17045118, quotient type (unknown). Also nLab quotient type
History
- 2026-10-26: add by m2/dev
electromotive force 31CS3F9WAH
| URI | m2://inv/31CS3F9WAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185329, electromotive force (definition). Also ProofWiki Definition:Electromotive_Force
History
- 2026-10-26: add by m2/dev
plus sign 31D2BDJ3ZK
| URI | m2://inv/31D2BDJ3ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6265342, plus sign (unknown). Also MathWorld PlusSign
History
- 2026-10-26: add by m2/dev
normal ring 31DV8MG29B
| URI | m2://inv/31DV8MG29B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93353768, normal ring (unknown). Also EoM Normal_ring
History
- 2026-10-26: add by m2/dev
Joel Shapiro 31G0YBW54A
| URI | m2://inv/31G0YBW54A |
|---|---|
| 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 Q63193620, Joel Shapiro (unknown). Also nLab Joel Shapiro
History
- 2026-10-26: add by m2/dev
Miquel configuration 31J3TDS0T7
| URI | m2://inv/31J3TDS0T7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104859763, Miquel configuration (unknown). Also MathWorld MiquelConfiguration
History
- 2026-10-26: add by m2/dev
Henning Samtleben 31JF8S6MS9
| URI | m2://inv/31JF8S6MS9 |
|---|---|
| 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 Q54323638, Henning Samtleben (unknown). Also nLab Henning Samtleben
History
- 2026-10-26: add by m2/dev
monoidal category 31JRVYER1H
| URI | m2://inv/31JRVYER1H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > monoidal category, monoidal category (unknown). Also Mathlib CategoryTheory.MonoidalCategory
- wikidata: Wikidata Q1945014, monoidal category (unknown). Also Mathlib CategoryTheory.MonoidalCategory, MathWorld TensorCategory, nLab monoidal category
History
- 2026-10-26: add by m2/dev
cut 31KBNXG3D1
| URI | m2://inv/31KBNXG3D1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1626444, cut (unknown). Also MathWorld Cut
History
- 2026-10-26: add by m2/dev
M. Riesz extension theorem 31PKY8KCHY
| URI | m2://inv/31PKY8KCHY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527217, M. Riesz extension theorem (statement). Also Mathlib riesz_extension, Wikidata Q3527217
- thousand_plus: thousand_plus Q3527217, M. Riesz extension theorem (statement). Also Mathlib riesz_extension, Wikidata Q3527217, Wikipedia M. Riesz extension theorem
History
- 2026-10-26: add by m2/dev
Kneser's theorem 31RX8B49GY
| URI | m2://inv/31RX8B49GY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6421981, Kneser's theorem (statement). Also Wikidata Q6421981
- thousand_plus: thousand_plus Q6421981, Kneser's theorem (statement). Also Wikidata Q6421981, Wikipedia Kneser's theorem (differential equations)
History
- 2026-10-26: add by m2/dev
Gromov-Hausdorff space 31SB2YGDEF
| URI | m2://inv/31SB2YGDEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Metric spaces > Gromov-Hausdorff space, Gromov-Hausdorff space (unknown). Also Mathlib GromovHausdorff.GHSpace
History
- 2026-10-26: add by m2/dev
Ioanid Rosu 31VWADHE3E
| URI | m2://inv/31VWADHE3E |
|---|---|
| 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 Q18547559, Ioanid Rosu (unknown). Also nLab Ioanid Rosu
History
- 2026-10-26: add by m2/dev
Traité des Sinus du Quart de Cercle 31X6M1JC0X
| URI | m2://inv/31X6M1JC0X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109046083, Traité des Sinus du Quart de Cercle (unknown). Also ProofWiki Book:Blaise_Pascal/Traité_des_Sinus_du_Quart_de_Cercle
History
- 2026-10-26: add by m2/dev
Bott periodicity theorem 31XZN3W9CQ
| URI | m2://inv/31XZN3W9CQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4948983, Bott periodicity theorem (statement). Also Wikidata Q4948983
- thousand_plus: thousand_plus Q4948983, Bott periodicity theorem (statement). Also Wikidata Q4948983, Wikipedia Bott periodicity theorem
- wikidata: Wikidata Q4948983, Bott periodicity theorem (statement). Also EoM Bott_periodicity_theorem, MathWorld BottPeriodicityTheorem, nLab Bott periodicity
History
- 2026-10-26: add by m2/dev