Inventory rows C0
The cards of the rows of the inventory whose ids start with C0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
topological division ring C00YZG7AH0
| URI | m2://inv/C00YZG7AH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q119143608, topological division ring (definition). Also ProofWiki Definition:Topological_Division_Ring
History
- 2026-10-26: add by m2/dev
conditioning C02PY0DSD4
| URI | m2://inv/C02PY0DSD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Solving systems of linear inequalities > conditioning, conditioning (unknown)
History
- 2026-10-26: add by m2/dev
finitely generated object C03W0DAHFP
| URI | m2://inv/C03W0DAHFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5450412, finitely generated object (unknown). Also nLab finitely generated object
History
- 2026-10-26: add by m2/dev
global element C049GR8KS8
| URI | m2://inv/C049GR8KS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5570834, global element (unknown). Also nLab global element
History
- 2026-10-26: add by m2/dev
strong monad C078S9RHFP
| URI | m2://inv/C078S9RHFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7624569, strong monad (unknown). Also nLab strong monad
History
- 2026-10-26: add by m2/dev
AdS/CFT correspondence C08N3AXZEX
| URI | m2://inv/C08N3AXZEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q543413, AdS/CFT correspondence (unknown). Also nLab AdS-CFT correspondence
History
- 2026-10-26: add by m2/dev
Rationality theorem C09AKW7HFC
| URI | m2://inv/C09AKW7HFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1139524, Rationality theorem (statement). Also Wikidata Q1139524
- thousand_plus: thousand_plus Q1139524, Rationality theorem (statement). Also Wikidata Q1139524, Wikipedia Rationality theorem
History
- 2026-10-26: add by m2/dev
rhombic hexecontahedron C0A2SQ02XB
| URI | m2://inv/C0A2SQ02XB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18390248, rhombic hexecontahedron (object). Also MathWorld RhombicHexecontahedron
History
- 2026-10-26: add by m2/dev
Roth's theorem C0BFXNM74V
| URI | m2://inv/C0BFXNM74V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Roth's theorem, Roth's theorem (unknown). Also Mathlib roth_3ap_theorem_nat
History
- 2026-10-26: add by m2/dev
Rédei's theorem C0EKPAEQ71
| URI | m2://inv/C0EKPAEQ71 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1177508, Rédei's theorem (statement). Also Wikidata Q1177508
- thousand_plus: thousand_plus Q1177508, Rédei's theorem (statement). Also Wikidata Q1177508, Wikipedia Rédei's theorem
History
- 2026-10-26: add by m2/dev
tensor product of graphs C0ETYMJACT
| URI | m2://inv/C0ETYMJACT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15994781, tensor product of graphs (unknown). Also MathWorld GraphCategoricalProduct
History
- 2026-10-26: add by m2/dev
weight C0NGC7KW8V
| URI | m2://inv/C0NGC7KW8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7979858, weight (unknown). Also MathWorld LieAlgebraWeight, nLab weight (in representation theory)
History
- 2026-10-26: add by m2/dev
étale morphism C0NYJWWWFB
| URI | m2://inv/C0NYJWWWFB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8078428, étale morphism (unknown). Also nLab étale map
History
- 2026-10-26: add by m2/dev
Diane Maclagan C0S03ZP7HS
| URI | m2://inv/C0S03ZP7HS |
|---|---|
| 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 Q56223008, Diane Maclagan (unknown). Also nLab Diane Maclagan
History
- 2026-10-26: add by m2/dev