Inventory rows 5G
The cards of the rows of the inventory whose ids start with 5G. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
degree 5G00ANBGQ8
| URI | m2://inv/5G00ANBGQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28390, degree (definition). Also EoM Degree, MathWorld Degree, ProofWiki Definition:Angle/Unit/Degree
History
- 2026-10-26: add by m2/dev
supersymmetry 5G15YG9N0B
| URI | m2://inv/5G15YG9N0B |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81Q60 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193442, supersymmetry (topic). Also nLab supersymmetry
History
- 2026-10-26: add by m2/dev
category 5G2PWJ09A4
| URI | m2://inv/5G2PWJ09A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > category, category (unknown). Also Mathlib CategoryTheory.Category
- wikidata: Wikidata Q719395, category (definition). Also Mathlib CategoryTheory.Category, MathWorld Category, nLab category, ProofWiki Definition:Category
History
- 2026-10-26: add by m2/dev
essentially bounded function 5G6621MPJB
| URI | m2://inv/5G6621MPJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91316547, essentially bounded function (unknown). Also nLab essentially bounded function
History
- 2026-10-26: add by m2/dev
Runge's theorem 5GBRDX152P
| URI | m2://inv/5GBRDX152P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1505529, Runge's theorem (statement). Also Wikidata Q1505529
- thousand_plus: thousand_plus Q1505529, Runge's theorem (statement). Also Wikidata Q1505529, Wikipedia Runge's theorem
- wikidata: Wikidata Q1505529, Runge's theorem (statement). Also MathWorld RungesTheorem
History
- 2026-10-26: add by m2/dev
Bertrand's postulate 5GC3DXPFC0
| URI | m2://inv/5GC3DXPFC0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Bertrand's postulate 0FJTGZA4GS |
Mentions
- mathlib_100: mathlib_100 98, Bertrand’s Postulate (statement). Also Mathlib Nat.bertrand
- mathlib_1000: mathlib_1000 Q632546, Bertrand's postulate (statement). Also Mathlib Nat.bertrand, Wikidata Q632546
- mathlib_1000: mathlib_1000 Q632546X, Sylvester's theorem (statement). Also Wikidata Q632546
- thousand_plus: thousand_plus Q632546, Bertrand's postulate (statement). Also Mathlib Nat.bertrand, Wikidata Q632546, Wikipedia Bertrand's postulate
- thousand_plus: thousand_plus Q632546X, Sylvester's theorem (statement). Also Wikidata Q632546
- wikidata: Wikidata Q632546, Bertrand's postulate (statement). Also MathWorld BertrandsPostulate, nLab Bertrand's postulate, ProofWiki Bertrand-Chebyshev_Theorem
History
- 2026-10-26: add by m2/dev
Janez Mrčun 5GDZPHYTC0
| URI | m2://inv/5GDZPHYTC0 |
|---|---|
| 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 Q18587207, Janez Mrčun (unknown). Also nLab Janez Mrčun
History
- 2026-10-26: add by m2/dev
class function over a group 5GJPD5TSC6
| URI | m2://inv/5GJPD5TSC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > class function over a group, class function over a group (unknown)
History
- 2026-10-26: add by m2/dev
open interval 5GNYRT1VXT
| URI | m2://inv/5GNYRT1VXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16690243, open interval (definition). Also EoM Interval,_open, MathWorld OpenInterval, ProofWiki Definition:Interval/Ordered_Set/Open
History
- 2026-10-26: add by m2/dev
Hosoya index 5GP2QY6FBS
| URI | m2://inv/5GP2QY6FBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4200699, Hosoya index (unknown). Also MathWorld HosoyaIndex
History
- 2026-10-26: add by m2/dev
Zamfirescu graph 48 5GXZMAKDTG
| URI | m2://inv/5GXZMAKDTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816902, Zamfirescu graph 48 (unknown). Also House of Graphs 1437
History
- 2026-10-26: add by m2/dev