Inventory rows CM
The cards of the rows of the inventory whose ids start with CM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
material implication CM2T4BBAE7
| URI | m2://inv/CM2T4BBAE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Implication 0NMG7W7Q11 |
Mentions
- wikidata: Wikidata Q7881229, material implication (unknown). Also EoM Implication, MathWorld Implies
History
- 2026-10-26: add by m2/dev
Jean-Pierre Serre CM42TZW3EY
| URI | m2://inv/CM42TZW3EY |
|---|---|
| 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 Q212063, Jean-Pierre Serre (unknown). Also nLab Jean-Pierre Serre
History
- 2026-10-26: add by m2/dev
Ladner's theorem CM4904Q8AM
| URI | m2://inv/CM4904Q8AM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1130846, Ladner's theorem (statement). Also Wikidata Q1130846
- thousand_plus: thousand_plus Q1130846, Ladner's theorem (statement). Also Wikidata Q1130846, Wikipedia Ladner's theorem
History
- 2026-10-26: add by m2/dev
Going-up and going-down theorems CM8VGHCEDQ
| URI | m2://inv/CM8VGHCEDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2379132, Going-up and going-down theorems (statement). Also Mathlib Ideal.exists_ideal_over_prime_of_isIntegral_of_isDomain, Mathlib Ideal.exists_ideal_over_prime_of_isIntegral_of_isPrime, Mathlib Algebra.HasGoingDown.iff_generalizingMap_primeSpectrumComap, Mathlib Algebra.HasGoingDown.of_comap_localRingHom_surjective, Wikidata Q2379132
- thousand_plus: thousand_plus Q2379132, Going-up and going-down theorems (statement). Also Mathlib Ideal.exists_ideal_over_prime_of_isIntegral_of_isDomain, Mathlib Ideal.exists_ideal_over_prime_of_isIntegral_of_isPrime, Mathlib Algebra.HasGoingDown.iff_generalizingMap_primeSpectrumComap, Mathlib Algebra.HasGoingDown.of_comap_localRingHom_surjective, Wikidata Q2379132, Wikipedia Going up and going down
History
- 2026-10-26: add by m2/dev
elementary particle CM9KBAX5M6
| URI | m2://inv/CM9KBAX5M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43116, elementary particle (definition). Also ProofWiki Definition:Elementary_Particle
History
- 2026-10-26: add by m2/dev
recursion CMCBV2EV4S
| URI | m2://inv/CMCBV2EV4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q264164, recursion (unknown). Also EoM Recursion, MathWorld Recursion
History
- 2026-10-26: add by m2/dev
parameter CMDTPPX3TA
| URI | m2://inv/CMDTPPX3TA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1413083, parameter (unknown). Also MathWorld Parameter
History
- 2026-10-26: add by m2/dev
Friedrich Wilhelm Levi CMFR1ZKSY0
| URI | m2://inv/CMFR1ZKSY0 |
|---|---|
| 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 Q91672, Friedrich Wilhelm Levi (unknown). Also nLab Friedrich Levi
History
- 2026-10-26: add by m2/dev
theorem of holomorphic functions under integral domains CMH13P48Z5
| URI | m2://inv/CMH13P48Z5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > theorem of holomorphic functions under integral domains, theorem of holomorphic functions under integral domains (unknown)
History
- 2026-10-26: add by m2/dev
Explicit substitution CMR9RQRVNV
| URI | m2://inv/CMR9RQRVNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5421271, Explicit substitution (unknown). Also nLab explicit substitution
History
- 2026-10-26: add by m2/dev
Whitehead manifold CMS8MR9D2N
| URI | m2://inv/CMS8MR9D2N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2669907, Whitehead manifold (concept). Also MathWorld WhiteheadManifold
History
- 2026-10-26: add by m2/dev
statistics CMX69VPHXD
| URI | m2://inv/CMX69VPHXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12483, statistics (topic). Also MathWorld Statistics, ProofWiki Definition:Statistics
History
- 2026-10-26: add by m2/dev