Inventory rows 1T
The cards of the rows of the inventory whose ids start with 1T. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Euler's theorem 1T7QM8Q9NB
| URI | m2://inv/1T7QM8Q9NB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Euler's theorem 0VC4DVE7DQ |
Mentions
- mathlib_100: mathlib_100 10, Euler’s Generalization of Fermat’s Little Theorem (statement). Also Mathlib Nat.ModEq.pow_totient
- mathlib_1000: mathlib_1000 Q193910, Euler's theorem (statement). Also Mathlib Nat.ModEq.pow_totient, Wikidata Q193910
- thousand_plus: thousand_plus Q193910, Euler's theorem (statement). Also Mathlib Nat.ModEq.pow_totient, Wikidata Q193910, Wikipedia Euler's theorem
- wikidata: Wikidata Q193910, Euler's theorem (statement). Also MathWorld EulersTotientTheorem
History
- 2026-10-26: add by m2/dev
Desargues configuration 1T9V647S8G
| URI | m2://inv/1T9V647S8G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15720456, Desargues configuration (concept). Also MathWorld DesarguesConfiguration
History
- 2026-10-26: add by m2/dev
Gennadi Sardanashvily 1TC4C6EFJT
| URI | m2://inv/1TC4C6EFJT |
|---|---|
| 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 Q4408552, Gennadi Sardanashvily (unknown). Also nLab Gennadi Sardanashvily
History
- 2026-10-26: add by m2/dev
coordinate 1THCZQ939R
| URI | m2://inv/1THCZQ939R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3250736, coordinate (unknown). Also MathWorld Coordinates
History
- 2026-10-26: add by m2/dev
field with one element 1TM1Z1PX72
| URI | m2://inv/1TM1Z1PX72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3654641, field with one element (unknown). Also nLab field with one element
History
- 2026-10-26: add by m2/dev
universe 1TM215FP1W
| URI | m2://inv/1TM215FP1W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q597663, universe (concept). Also ProofWiki Definition:Universe_(Set_Theory)
History
- 2026-10-26: add by m2/dev
derived tensor product 1TMDZZ15DF
| URI | m2://inv/1TMDZZ15DF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39046230, derived tensor product (unknown). Also nLab derived tensor product
History
- 2026-10-26: add by m2/dev
Lionel Mason 1TPY2VTKZK
| URI | m2://inv/1TPY2VTKZK |
|---|---|
| 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 Q63433410, Lionel Mason (unknown). Also nLab Lionel Mason
History
- 2026-10-26: add by m2/dev
casus irreducibilis 1TRVSHZVFW
| URI | m2://inv/1TRVSHZVFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5050952, casus irreducibilis (unknown). Also MathWorld CasusIrreducibilis
History
- 2026-10-26: add by m2/dev
Daniel Kan 1TVX9VEK84
| URI | m2://inv/1TVX9VEK84 |
|---|---|
| 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 Q284616, Daniel Kan (unknown). Also nLab Daniel Kan
History
- 2026-10-26: add by m2/dev
mean curvature 1TZJ3KG8VT
| URI | m2://inv/1TZJ3KG8VT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1318998, mean curvature (unknown). Also MathWorld MeanCurvature
History
- 2026-10-26: add by m2/dev