Inventory rows GM
The cards of the rows of the inventory whose ids start with GM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
summation index shift GM3955EV1M
| URI | m2://inv/GM3955EV1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1604943, summation index shift (statement). Also ProofWiki Permutation_of_Indices_of_Summation
History
- 2026-10-26: add by m2/dev
Immerman–Szelepcsényi theorem GM4F4GHKKZ
| URI | m2://inv/GM4F4GHKKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q744440, Immerman–Szelepcsényi theorem (statement). Also Wikidata Q744440
- thousand_plus: thousand_plus Q744440, Immerman–Szelepcsényi theorem (statement). Also Wikidata Q744440, Wikipedia Immerman–Szelepcsényi theorem
History
- 2026-10-26: add by m2/dev
Nous GM69FPE95K
| URI | m2://inv/GM69FPE95K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q835041, Nous (unknown). Also nLab nous
History
- 2026-10-26: add by m2/dev
dihedral group GM6NCWYJ15
| URI | m2://inv/GM6NCWYJ15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Dihedral group 0JZ27DMJ5D |
Mentions
- wikidata: Wikidata Q558339, dihedral group (definition). Also EoM Dihedral_group, MathWorld DihedralGroup, nLab dihedral group, ProofWiki Definition:Dihedral_Group
History
- 2026-10-26: add by m2/dev
Chevalley–Warning theorem GM7D6CHPPJ
| URI | m2://inv/GM7D6CHPPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 3 |
| Outcome | open |
| Node | Chevalley–Warning theorem 08895Q5W96 |
Mentions
- mathlib_1000: mathlib_1000 Q720469, Chevalley–Warning theorem (statement). Also Mathlib char_dvd_card_solutions_of_sum_lt, Wikidata Q720469
- thousand_plus: thousand_plus Q720469, Chevalley–Warning theorem (statement). Also Mathlib char_dvd_card_solutions_of_sum_lt, Wikidata Q720469, Wikipedia Chevalley–Warning theorem
- wikidata: Wikidata Q720469, Chevalley–Warning theorem (statement). Also MathWorld ChevalleysTheorem
History
- 2026-10-26: add by m2/dev
outer measure GM7DF9EVHF
| URI | m2://inv/GM7DF9EVHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q258374, Carathéodory's theorem (measure theory) (statement). Also Mathlib MeasureTheory.OuterMeasure.caratheodory, Wikidata Q258374
- thousand_plus: thousand_plus Q258374, Carathéodory's theorem (measure theory) (statement). Also Mathlib MeasureTheory.OuterMeasure.caratheodory, Wikidata Q258374, Wikipedia Carathéodory's theorem (measure theory)
- wikidata: Wikidata Q258374, outer measure (definition). Also EoM Outer_measure, MathWorld OuterMeasure, ProofWiki Definition:Outer_Measure
History
- 2026-10-26: add by m2/dev
house graph GM9PTXXNQJ
| URI | m2://inv/GM9PTXXNQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115585, house graph (unknown). Also House of Graphs 1183, MathWorld HouseGraph
History
- 2026-10-26: add by m2/dev
Miquel's theorem GMA3BGYBH3
| URI | m2://inv/GMA3BGYBH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2449984, Miquel's theorem (statement). Also Wikidata Q2449984
- mathlib_1000: mathlib_1000 Q2449984X, Pivot theorem (statement). Also Wikidata Q2449984
- thousand_plus: thousand_plus Q2449984, Miquel's theorem (statement). Also Wikidata Q2449984, Wikipedia Miquel's theorem
- thousand_plus: thousand_plus Q2449984X, Pivot theorem (statement). Also Wikidata Q2449984, Wikipedia Pivot theorem
- wikidata: Wikidata Q2449984, Miquel's theorem (statement). Also MathWorld MiquelsTheorem
History
- 2026-10-26: add by m2/dev
algebraic variety GMBJBVNMAZ
| URI | m2://inv/GMBJBVNMAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q648995, algebraic variety (definition). Also MathWorld AlgebraicVariety, nLab algebraic variety, ProofWiki Definition:Algebraic_Variety
History
- 2026-10-26: add by m2/dev
quasisimple group GMCRX6DGN5
| URI | m2://inv/GMCRX6DGN5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7269527, quasisimple group (unknown). Also LMFDB knowl group.quasisimple, MathWorld QuasisimpleGroup, nLab quasisimple group
History
- 2026-10-26: add by m2/dev
Wiedersehen pair GMCVJSBTG9
| URI | m2://inv/GMCVJSBTG9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7998903, Wiedersehen pair (concept). Also MathWorld WiedersehenPair
History
- 2026-10-26: add by m2/dev
Ryan Rohm GME50G2JCC
| URI | m2://inv/GME50G2JCC |
|---|---|
| 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 Q15455400, Ryan Rohm (unknown). Also nLab Ryan Rohm
History
- 2026-10-26: add by m2/dev
electric current GMN1PW6EZX
| URI | m2://inv/GMN1PW6EZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11651, electric current (definition). Also ProofWiki Definition:Electric_Current
History
- 2026-10-26: add by m2/dev
continuity GMQP1ZZFS4
| URI | m2://inv/GMQP1ZZFS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > continuity, continuity (unknown). Also Mathlib HasFPowerSeriesOnBall.continuousOn
History
- 2026-10-26: add by m2/dev
infrared divergence GMZ1FG2WY0
| URI | m2://inv/GMZ1FG2WY0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3032223, infrared divergence (unknown). Also nLab infrared divergence
History
- 2026-10-26: add by m2/dev