Inventory rows 86
The cards of the rows of the inventory whose ids start with 86. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
connection form 861G1MMF34
| URI | m2://inv/861G1MMF34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5161687, connection form (unknown). Also EoM Connection_form
History
- 2026-10-26: add by m2/dev
classification of abelian simple groups 862A0R3RSK
| URI | m2://inv/862A0R3RSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > classification of abelian simple groups, classification of abelian simple groups (unknown). Also Mathlib CommGroup.is_simple_iff_prime_card
History
- 2026-10-26: add by m2/dev
Kenmotu point 862XKVH0F6
| URI | m2://inv/862XKVH0F6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130214553, Kenmotu point (unknown). Also MathWorld KenmotuPoint
History
- 2026-10-26: add by m2/dev
proper fraction 868750ZGD0
| URI | m2://inv/868750ZGD0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11922678, proper fraction (unknown). Also MathWorld ProperFraction
History
- 2026-10-26: add by m2/dev
symmetric spectrum 86CQQ2TRC5
| URI | m2://inv/86CQQ2TRC5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17090831, symmetric spectrum (unknown). Also nLab symmetric spectrum
History
- 2026-10-26: add by m2/dev
Daniel Harlow 86EZJW6PTQ
| URI | m2://inv/86EZJW6PTQ |
|---|---|
| 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 Q58238281, Daniel Harlow (unknown). Also nLab Daniel Harlow
History
- 2026-10-26: add by m2/dev
extended real number line 86F5E9RCZ6
| URI | m2://inv/86F5E9RCZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Extended real number line 0GSZ7B0CGR |
Mentions
- mathlib_overview: mathlib_overview General algebra > Numbers > extended real number, extended real number (unknown). Also Mathlib EReal
- wikidata: Wikidata Q2039387, extended real number line (definition). Also Mathlib EReal, MathWorld AffinelyExtendedRealNumbers, ProofWiki Definition:Extended_Real_Number_Line
History
- 2026-10-26: add by m2/dev
monostatic polytope 86G6T0VTNJ
| URI | m2://inv/86G6T0VTNJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6901973, monostatic polytope (unknown). Also MathWorld UnistablePolyhedron
History
- 2026-10-26: add by m2/dev
integral geometry 86HRQEDF17
| URI | m2://inv/86HRQEDF17 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2725319, integral geometry (topic). Also EoM Integral_geometry
History
- 2026-10-26: add by m2/dev
submersion 86QY7EWB3Q
| URI | m2://inv/86QY7EWB3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1420023, submersion (definition). Also MathWorld Submersion, ProofWiki Definition:Submersion
History
- 2026-10-26: add by m2/dev
list of United States presidential elections where winner lost popular vote 86QY94WEPK
| URI | m2://inv/86QY94WEPK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24963437, list of United States presidential elections where winner lost popular vote (object). Also OEIS A230052
History
- 2026-10-26: add by m2/dev
Kummer graph 86WEBZQ1GX
| URI | m2://inv/86WEBZQ1GX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115512, Kummer graph (unknown). Also House of Graphs 1206, MathWorld KummerGraph
History
- 2026-10-26: add by m2/dev
Kleitman's theorem 86YNX2NPC2
| URI | m2://inv/86YNX2NPC2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > Kleitman's theorem, Kleitman's theorem (unknown). Also Mathlib Finset.card_biUnion_le_of_intersecting
History
- 2026-10-26: add by m2/dev
rank–nullity theorem 86ZCAEE63N
| URI | m2://inv/86ZCAEE63N |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | open |
| Node | Rank–nullity theorem 0W4FSW1TVB |
Mentions
- mathlib_1000: mathlib_1000 Q303402, Rank–nullity theorem (statement). Also Mathlib LinearMap.rank_range_add_rank_ker, Wikidata Q303402
- thousand_plus: thousand_plus Q303402, Rank–nullity theorem (statement). Also Mathlib LinearMap.rank_range_add_rank_ker, Wikidata Q303402, Wikipedia Rank–nullity theorem
- wikidata: Wikidata Q303402, rank–nullity theorem (statement). Also MathWorld Rank-NullityTheorem
History
- 2026-10-26: add by m2/dev