Inventory rows GD
The cards of the rows of the inventory whose ids start with GD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
diffeology GD28AZPP0G
| URI | m2://inv/GD28AZPP0G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5275263, diffeology (unknown). Also nLab diffeological space
History
- 2026-10-26: add by m2/dev
Aronszajn–Smith theorem GD8ATTCPX0
| URI | m2://inv/GD8ATTCPX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6059532, Aronszajn–Smith theorem (statement). Also Wikidata Q6059532
- thousand_plus: thousand_plus Q6059532, Aronszajn–Smith theorem (statement). Also Wikidata Q6059532, Wikipedia Aronszajn–Smith theorem
History
- 2026-10-26: add by m2/dev
spacelike four-vector GDDA1H796R
| URI | m2://inv/GDDA1H796R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122208658, spacelike four-vector (unknown). Also MathWorld Spacelike
History
- 2026-10-26: add by m2/dev
Akra–Bazzi theorem GDFVSGM1M3
| URI | m2://inv/GDFVSGM1M3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q420714, Akra–Bazzi theorem (statement). Also Mathlib AkraBazziRecurrence.isBigO_asympBound, Wikidata Q420714
- thousand_plus: thousand_plus Q420714, Akra–Bazzi theorem (statement). Also Mathlib AkraBazziRecurrence.isBigO_asympBound, Wikidata Q420714, Wikipedia Akra–Bazzi theorem
History
- 2026-10-26: add by m2/dev
Joseph Jean Baptiste Neuberg GDKXQJGYJ9
| URI | m2://inv/GDKXQJGYJ9 |
|---|---|
| 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 Q1351886, Joseph Jean Baptiste Neuberg (unknown). Also ProofWiki Mathematician:Joseph_Jean_Baptiste_Neuberg
History
- 2026-10-26: add by m2/dev
binary operator GDQ3SNSHR3
| URI | m2://inv/GDQ3SNSHR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30242895, binary operator (unknown). Also MathWorld BinaryOperator
History
- 2026-10-26: add by m2/dev
Denjoy–Young–Saks theorem GDQ5NXSW9N
| URI | m2://inv/GDQ5NXSW9N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5257890, Denjoy–Young–Saks theorem (statement). Also MathWorld Denjoy-Saks-YoungTheorem
History
- 2026-10-26: add by m2/dev