Inventory rows N0
The cards of the rows of the inventory whose ids start with N0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
weak sequence N05C9NY8WT
| URI | m2://inv/N05C9NY8WT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > List-like structures > weak sequence, weak sequence (unknown). Also Mathlib Stream'.WSeq
History
- 2026-10-26: add by m2/dev
perihelion N06QFVKZFN
| URI | m2://inv/N06QFVKZFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q216807, perihelion (definition). Also ProofWiki Definition:Perihelion
History
- 2026-10-26: add by m2/dev
friendship graph N087Q2ZC6P
| URI | m2://inv/N087Q2ZC6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 83, The Friendship Theorem (statement). Also Mathlib Theorems100.friendship_theorem
- mathlib_1000: mathlib_1000 Q5504427, Friendship theorem (statement). Also Mathlib Theorems100.friendship_theorem, Wikidata Q5504427
- thousand_plus: thousand_plus Q5504427, Friendship theorem (statement). Also Mathlib Theorems100.friendship_theorem, Wikidata Q5504427, Wikipedia Friendship theorem
- wikidata: Wikidata Q5504427, friendship graph (unknown). Also MathWorld DutchWindmillGraph
History
- 2026-10-26: add by m2/dev
opposite side N08T0YFBCC
| URI | m2://inv/N08T0YFBCC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140142007, opposite side (unknown). Also MathWorld OppositeSide
History
- 2026-10-26: add by m2/dev
ordinal addition N0D2WDRM62
| URI | m2://inv/N0D2WDRM62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118133309, ordinal addition (unknown). Also MathWorld OrdinalAddition
History
- 2026-10-26: add by m2/dev
space N0DW56N1G2
| URI | m2://inv/N0DW56N1G2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q472971, space (unknown). Also MathWorld Space
History
- 2026-10-26: add by m2/dev
Mayer problem N0G95DNY8V
| URI | m2://inv/N0G95DNY8V |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12105293, Mayer problem (problem). Also EoM Mayer_problem
History
- 2026-10-26: add by m2/dev
Q/q N0MG25VWE4
| URI | m2://inv/N0MG25VWE4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9950, Q/q (unknown). Also ProofWiki Symbols:Q
History
- 2026-10-26: add by m2/dev
Alfred North Whitehead N0W6WCSE56
| URI | m2://inv/N0W6WCSE56 |
|---|---|
| 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 Q183372, Alfred North Whitehead (unknown). Also ProofWiki Mathematician:Alfred_North_Whitehead
History
- 2026-10-26: add by m2/dev
characteristic polynomial N0XP1SNNZA
| URI | m2://inv/N0XP1SNNZA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Characteristic polynomial 0VSSPAFM2C |
Mentions
- wikidata: Wikidata Q849705, characteristic polynomial (unknown). Also MathWorld CharacteristicPolynomial, nLab characteristic polynomial
History
- 2026-10-26: add by m2/dev
altitude N0YPX69BKX
| URI | m2://inv/N0YPX69BKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | Altitude of a triangle 0C9MZY2RNA |
Mentions
- mathlib_1000: mathlib_1000 Q339495, Symphonic theorem (statement). Also Wikidata Q339495
- thousand_plus: thousand_plus Q339495, Symphonic theorem (statement). Also Wikidata Q339495, Wikipedia Altitude (triangle)
- wikidata: Wikidata Q339495, altitude (unknown). Also MathWorld Altitude
History
- 2026-10-26: add by m2/dev