Inventory rows M2
The cards of the rows of the inventory whose ids start with M2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
capture in chess M216KGTQTN
| URI | m2://inv/M216KGTQTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984344, capture in chess (definition). Also ProofWiki Definition:Chess/Rules/Capture
History
- 2026-10-26: add by m2/dev
abelian extension M24DSQYBRX
| URI | m2://inv/M24DSQYBRX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q318705, abelian extension (concept). Also EoM Abelian_extension, MathWorld AbelianExtension
History
- 2026-10-26: add by m2/dev
disjoint union M24H9HFD38
| URI | m2://inv/M24H9HFD38 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q842620, disjoint union (unknown). Also MathWorld DisjointUnion, nLab disjoint union
History
- 2026-10-26: add by m2/dev
William McCrea M25E2HS2JE
| URI | m2://inv/M25E2HS2JE |
|---|---|
| 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 Q1385648, William McCrea (unknown). Also ProofWiki Mathematician:William_Hunter_McCrea
History
- 2026-10-26: add by m2/dev
function of bounded variation M26GK0BWZ1
| URI | m2://inv/M26GK0BWZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q829653, function of bounded variation (unknown). Also MathWorld BoundedVariation
History
- 2026-10-26: add by m2/dev
negative integer M270E8S361
| URI | m2://inv/M270E8S361 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18659417, negative integer (unknown). Also MathWorld NegativeInteger
History
- 2026-10-26: add by m2/dev
elliptic coordinate system M28W8SD2WB
| URI | m2://inv/M28W8SD2WB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1332432, elliptic coordinate system (unknown). Also MathWorld EllipticCylindricalCoordinates
- wikidata: Wikidata Q5365796, elliptic cylindrical coordinates (unknown). Also MathWorld EllipticCylindricalCoordinates
History
- 2026-10-26: add by m2/dev
Kraft–McMillan theorem M2AND09JJ9
| URI | m2://inv/M2AND09JJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q371685, Kraft–McMillan theorem (statement). Also Wikidata Q371685
- thousand_plus: thousand_plus Q371685, Kraft–McMillan theorem (statement). Also Wikidata Q371685, Wikipedia Kraft–McMillan theorem
History
- 2026-10-26: add by m2/dev
Riemann-Lebesgue lemma M2CGWZQ0Y9
| URI | m2://inv/M2CGWZQ0Y9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Fourier analysis > Riemann-Lebesgue lemma, Riemann-Lebesgue lemma (unknown). Also Mathlib tendsto_integral_exp_inner_smul_cocompact
History
- 2026-10-26: add by m2/dev
hitch knot M2GYE28R3A
| URI | m2://inv/M2GYE28R3A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17586598, hitch knot (unknown). Also MathWorld Hitch
History
- 2026-10-26: add by m2/dev
money M2RNSTE5RG
| URI | m2://inv/M2RNSTE5RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1368, money (definition). Also ProofWiki Definition:Money
History
- 2026-10-26: add by m2/dev
regular decagon M2SJF3P4HV
| URI | m2://inv/M2SJF3P4HV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18017999, regular decagon (unknown). Also MathWorld RegularDecagon
History
- 2026-10-26: add by m2/dev
arithmetic genus M2SZP296RB
| URI | m2://inv/M2SZP296RB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4791125, arithmetic genus (unknown). Also LMFDB knowl ag.arithmetic_genus, LMFDB knowl hmsurface.arithmetic_genus, nLab arithmetic genus
History
- 2026-10-26: add by m2/dev
Taylor's theorem with little-o remainder M2X7Z19CA1
| URI | m2://inv/M2X7Z19CA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > Taylor's theorem with little-o remainder, Taylor's theorem with little-o remainder (unknown)
History
- 2026-10-26: add by m2/dev
Sahlqvist correspondence theorem M2YRBS6JDS
| URI | m2://inv/M2YRBS6JDS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3077634, Sahlqvist correspondence theorem (statement). Also Wikidata Q3077634
- thousand_plus: thousand_plus Q3077634, Sahlqvist correspondence theorem (statement). Also Wikidata Q3077634, Wikipedia Sahlqvist correspondence theorem
History
- 2026-10-26: add by m2/dev
pentagonal icositetrahedral graph M2Z1SC00NB
| URI | m2://inv/M2Z1SC00NB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115579, pentagonal icositetrahedral graph (unknown). Also House of Graphs 1259, MathWorld PentagonalIcositetrahedralGraph
History
- 2026-10-26: add by m2/dev