Inventory rows 6M
The cards of the rows of the inventory whose ids start with 6M. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
vertex-transitive graph 6M2DR8XT7K
| URI | m2://inv/6M2DR8XT7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q220997, vertex-transitive graph (unknown). Also MathWorld Vertex-TransitiveGraph
History
- 2026-10-26: add by m2/dev
Friedberg–Muchnik theorem 6M61882M3X
| URI | m2://inv/6M61882M3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q111982312, Friedberg–Muchnik theorem (statement). Also Wikidata Q111982312
- thousand_plus: thousand_plus Q111982312, Friedberg–Muchnik theorem (statement). Also Wikidata Q111982312, Wikipedia Friedberg–Muchnik theorem
History
- 2026-10-26: add by m2/dev
Schur's theorem 6M7A3YES1D
| URI | m2://inv/6M7A3YES1D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1786292, Schur's theorem (statement). Also Wikidata Q1786292
- thousand_plus: thousand_plus Q1786292, Schur's theorem (statement). Also Wikidata Q1786292, Wikipedia Schur's theorem
History
- 2026-10-26: add by m2/dev
Brianchon's theorem 6MANPNMPZQ
| URI | m2://inv/6MANPNMPZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q119450, Brianchon's theorem (statement). Also Wikidata Q119450
- thousand_plus: thousand_plus Q119450, Brianchon's theorem (statement). Also Wikidata Q119450, Wikipedia Brianchon's theorem
- wikidata: Wikidata Q119450, Brianchon's theorem (statement). Also MathWorld BrianchonsTheorem
History
- 2026-10-26: add by m2/dev
Taylor's theorem with integral form for remainder 6MCDG33Q7C
| URI | m2://inv/6MCDG33Q7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor's theorem with integral form for remainder, Taylor's theorem with integral form for remainder (unknown). Also Mathlib taylor_integral_remainder_of_absolutelyContinuous
History
- 2026-10-26: add by m2/dev
Necker cube 6MGT9PZY5P
| URI | m2://inv/6MGT9PZY5P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1850636, Necker cube (unknown). Also MathWorld NeckerCube
History
- 2026-10-26: add by m2/dev
great icosihemidodecahedron 6MHJ59XSDA
| URI | m2://inv/6MHJ59XSDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2718509, great icosihemidodecahedron (unknown). Also MathWorld GreatIcosihemidodecahedron
History
- 2026-10-26: add by m2/dev
G2 6MJH9WD9NE
| URI | m2://inv/6MJH9WD9NE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q869338, G2 (unknown). Also nLab G2
History
- 2026-10-26: add by m2/dev
simplicial polyhedron 6MQ9BNKB8V
| URI | m2://inv/6MQ9BNKB8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91079947, simplicial polyhedron (unknown). Also MathWorld SimplicialPolyhedron
History
- 2026-10-26: add by m2/dev
mechanical system 6MR5C3J5TG
| URI | m2://inv/6MR5C3J5TG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15297198, mechanical system (unknown). Also nLab mechanical system
History
- 2026-10-26: add by m2/dev
Brunn–Minkowski theorem 6MSM6HW5JS
| URI | m2://inv/6MSM6HW5JS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3915398, Brunn–Minkowski theorem (statement). Also Wikidata Q3915398
- thousand_plus: thousand_plus Q3915398, Brunn–Minkowski theorem (statement). Also Wikidata Q3915398, Wikipedia Brunn–Minkowski theorem
History
- 2026-10-26: add by m2/dev
Thomassen graph 34 6MT5R8TJZ7
| URI | m2://inv/6MT5R8TJZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816238, Thomassen graph 34 (unknown). Also House of Graphs 1353
History
- 2026-10-26: add by m2/dev
transpose of a linear map 6MTZSH63FV
| URI | m2://inv/6MTZSH63FV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Duality > transpose of a linear map, transpose of a linear map (unknown). Also Mathlib Module.Dual.transpose
History
- 2026-10-26: add by m2/dev
Albrecht Dold 6MZD3VNEHQ
| URI | m2://inv/6MZD3VNEHQ |
|---|---|
| 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 Q109854, Albrecht Dold (unknown). Also nLab Albrecht Dold
History
- 2026-10-26: add by m2/dev