Inventory rows 9W
The cards of the rows of the inventory whose ids start with 9W. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
connected space 9W1V1EPD0B
| URI | m2://inv/9W1V1EPD0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Connected space 0V032VWTHD |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > connectedness, connectedness (unknown). Also Mathlib ConnectedSpace
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > connectedness, connectedness (unknown). Also Mathlib ConnectedSpace
- wikidata: Wikidata Q1491995, connected space (unknown). Also Mathlib ConnectedSpace, MathWorld ConnectedSet
History
- 2026-10-26: add by m2/dev
Monadology 9W892W413A
| URI | m2://inv/9W892W413A |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 01A75 |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1211539, Monadology (topic). Also ProofWiki Book:Gottfried_Wilhelm_von_Leibniz/Monadologie
History
- 2026-10-26: add by m2/dev
vertical vector field 9W9WH7AFDX
| URI | m2://inv/9W9WH7AFDX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17037964, vertical vector field (unknown). Also nLab vertical vector field
History
- 2026-10-26: add by m2/dev
Gelfand–Mazur theorem 9WANF3NNRQ
| URI | m2://inv/9WANF3NNRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226677, Gelfand–Mazur theorem (statement). Also Mathlib NormedRing.algEquivComplexOfComplete, Mathlib NormedAlgebra.Complex.algEquivOfNormMul, Mathlib NormedAlgebra.Real.nonempty_algEquiv_or, Wikidata Q2226677
- thousand_plus: thousand_plus Q2226677, Gelfand–Mazur theorem (statement). Also Mathlib NormedRing.algEquivComplexOfComplete, Mathlib NormedAlgebra.Complex.algEquivOfNormMul, Mathlib NormedAlgebra.Real.nonempty_algEquiv_or, Wikidata Q2226677, Wikipedia Gelfand–Mazur theorem
History
- 2026-10-26: add by m2/dev
counting measure 9WE3C8MFS8
| URI | m2://inv/9WE3C8MFS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q247204, counting measure (definition). Also nLab counting measure, ProofWiki Definition:Counting_Measure
History
- 2026-10-26: add by m2/dev
Efim Fradkin 9WF0AX75N5
| URI | m2://inv/9WF0AX75N5 |
|---|---|
| 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 Q381633, Efim Fradkin (unknown). Also nLab Efim Fradkin
History
- 2026-10-26: add by m2/dev
Hilbert's irreducibility theorem 9WHNDB6CSA
| URI | m2://inv/9WHNDB6CSA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5761142, Hilbert's irreducibility theorem (statement). Also Wikidata Q5761142
- thousand_plus: thousand_plus Q5761142, Hilbert's irreducibility theorem (statement). Also Wikidata Q5761142, Wikipedia Hilbert's irreducibility theorem
History
- 2026-10-26: add by m2/dev
theory of modules over a commutative ring 9WJ3NH9R04
| URI | m2://inv/9WJ3NH9R04 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13Cxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114722748, theory of modules over a commutative ring (topic)
History
- 2026-10-26: add by m2/dev
the category of measurable spaces 9WJWCQ5CSS
| URI | m2://inv/9WJWCQ5CSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > the category of measurable spaces, the category of measurable spaces (unknown). Also Mathlib MeasCat
History
- 2026-10-26: add by m2/dev
André Lukas 9WMRT9R77D
| URI | m2://inv/9WMRT9R77D |
|---|---|
| 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 Q63358340, André Lukas (unknown). Also nLab Andre Lukas
History
- 2026-10-26: add by m2/dev
perfect totient number 9WPE5S3N5F
| URI | m2://inv/9WPE5S3N5F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3879418, perfect totient number (object). Also OEIS A082897
History
- 2026-10-26: add by m2/dev
Boole's rule 9WRTV8CB8N
| URI | m2://inv/9WRTV8CB8N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4943343, Boole's rule (concept). Also MathWorld BoolesRule
History
- 2026-10-26: add by m2/dev
Urysohn's lemma 9WSFAS4Q12
| URI | m2://inv/9WSFAS4Q12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Urysohn's lemma 01EY3VR7ZD |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > Urysohn's lemma, Urysohn's lemma (unknown). Also Mathlib exists_continuous_zero_one_of_isClosed
- wikidata: Wikidata Q1816967, Urysohn's lemma (statement). Also EoM Urysohn_lemma, Mathlib exists_continuous_zero_one_of_isClosed, MathWorld UrysohnsLemma, nLab Urysohn's lemma
History
- 2026-10-26: add by m2/dev
open manifold 9WTTGW6PPQ
| URI | m2://inv/9WTTGW6PPQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56298741, open manifold (concept). Also MathWorld OpenManifold
History
- 2026-10-26: add by m2/dev