Inventory rows 2M
The cards of the rows of the inventory whose ids start with 2M. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bohr–Mollerup theorem 2M2WEN9FWX
| URI | m2://inv/2M2WEN9FWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 33-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2734084, Bohr–Mollerup theorem (statement). Also Wikidata Q2734084
- thousand_plus: thousand_plus Q2734084, Bohr–Mollerup theorem (statement). Also Wikidata Q2734084, Wikipedia Bohr–Mollerup theorem
- wikidata: Wikidata Q2734084, Bohr–Mollerup theorem (statement). Also MathWorld Bohr-MollerupTheorem
History
- 2026-10-26: add by m2/dev
curtate hypocycloid 2M3ER6PQMG
| URI | m2://inv/2M3ER6PQMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78154044, curtate hypocycloid (unknown). Also MathWorld CurtateHypocycloid
History
- 2026-10-26: add by m2/dev
Phragmén–Lindelöf theorem 2M66YVNDTH
| URI | m2://inv/2M66YVNDTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4378868, Phragmén–Lindelöf theorem (statement). Also Mathlib PhragmenLindelof.horizontal_strip, Wikidata Q4378868
- mathlib_overview: mathlib_overview Analysis > Complex analysis > Phragmen-Lindelöf principle, Phragmen-Lindelöf principle (unknown). Also Mathlib PhragmenLindelof.horizontal_strip
- thousand_plus: thousand_plus Q4378868, Phragmén–Lindelöf theorem (statement). Also Mathlib PhragmenLindelof.horizontal_strip, Wikidata Q4378868, Wikipedia Phragmén–Lindelöf theorem
History
- 2026-10-26: add by m2/dev
Whitney sum 2M8SF1H8FQ
| URI | m2://inv/2M8SF1H8FQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124247536, Whitney sum (unknown). Also MathWorld WhitneySum, nLab direct sum of vector bundles
History
- 2026-10-26: add by m2/dev
divisor function 2MA9DG1DHF
| URI | m2://inv/2MA9DG1DHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | Divisor function 04J4Z73J5B |
Mentions
- mathlib_1000: mathlib_1000 Q915474, Robin's theorem (statement). Also Wikidata Q915474
- thousand_plus: thousand_plus Q915474, Robin's theorem (statement). Also Wikidata Q915474, Wikipedia Robin's theorem
- wikidata: Wikidata Q915474, divisor function (definition). Also MathWorld DivisorFunction, ProofWiki Definition:Divisor_Function
History
- 2026-10-26: add by m2/dev
leading coefficient 2MDJYMSYR9
| URI | m2://inv/2MDJYMSYR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130416821, leading coefficient (definition). Also ProofWiki Definition:Leading_Coefficient_of_Polynomial
History
- 2026-10-26: add by m2/dev
singleton graph 2MFHQ15AKE
| URI | m2://inv/2MFHQ15AKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115606, singleton graph (unknown). Also House of Graphs 1310, MathWorld SingletonGraph
History
- 2026-10-26: add by m2/dev
Borel sigma-algebra 2MRQDP1G9C
| URI | m2://inv/2MRQDP1G9C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Borel sigma-algebra, Borel sigma-algebra (unknown). Also Mathlib BorelSpace
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > Borel sigma-algebras, Borel sigma-algebras (unknown). Also Mathlib BorelSpace
History
- 2026-10-26: add by m2/dev
Pappus's area theorem 2MYJ9EQMQ7
| URI | m2://inv/2MYJ9EQMQ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527044, Pappus's area theorem (statement). Also Wikidata Q3527044
- thousand_plus: thousand_plus Q3527044, Pappus's area theorem (statement). Also Wikidata Q3527044, Wikipedia Pappus's area theorem
History
- 2026-10-26: add by m2/dev