Inventory rows 12
The cards of the rows of the inventory whose ids start with 12. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
subgroup generated by a subset 120ECZQBX2
| URI | m2://inv/120ECZQBX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > subgroup generated by a subset, subgroup generated by a subset (unknown). Also Mathlib Subgroup.closure
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > subgroup generated by a subset, subgroup generated by a subset (unknown). Also Mathlib Subgroup.closure
History
- 2026-10-26: add by m2/dev
Persi Diaconis 12284S8Y6N
| URI | m2://inv/12284S8Y6N |
|---|---|
| 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 Q2061471, Persi Diaconis (unknown). Also nLab Persi Diaconis
History
- 2026-10-26: add by m2/dev
mapping class group 122FEVRT5X
| URI | m2://inv/122FEVRT5X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3845212, mapping class group (unknown). Also nLab mapping class group
History
- 2026-10-26: add by m2/dev
Hindman's theorem 122GXDQKPH
| URI | m2://inv/122GXDQKPH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Ramsey theory > Hindman's theorem, Hindman's theorem (unknown). Also Mathlib Hindman.FS_partition_regular
History
- 2026-10-26: add by m2/dev
theory of metric spaces 123SG80ETH
| URI | m2://inv/123SG80ETH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114737644, theory of metric spaces (topic). Also ProofWiki Definition:Metric_Spaces_(Mathematical_Branch)
History
- 2026-10-26: add by m2/dev
1254FZ837G 1254FZ837G
| URI | m2://inv/1254FZ837G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136147653 (unknown). Also House of Graphs 538
History
- 2026-10-26: add by m2/dev
Nash–Moser theorem 125D71VA1K
| URI | m2://inv/125D71VA1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6967039, Nash–Moser theorem (statement). Also Wikidata Q6967039
- thousand_plus: thousand_plus Q6967039, Nash–Moser theorem (statement). Also Wikidata Q6967039, Wikipedia Nash–Moser theorem
History
- 2026-10-26: add by m2/dev
rule of inference 126Y0800YD
| URI | m2://inv/126Y0800YD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1068763, rule of inference (unknown). Also MathWorld RuleofInference
History
- 2026-10-26: add by m2/dev
Hodge conjecture 1280ZZCW3M
| URI | m2://inv/1280ZZCW3M |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1143138, Hodge conjecture (conjecture). Also MathWorld HodgeConjecture, ProofWiki Hodge_Conjecture
History
- 2026-10-26: add by m2/dev
alternating knot 129Q7P0F2W
| URI | m2://inv/129Q7P0F2W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4736417, alternating knot (unknown). Also MathWorld AlternatingKnot
History
- 2026-10-26: add by m2/dev
normal order of an arithmetic function 12A3GZJJDM
| URI | m2://inv/12A3GZJJDM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7051823, normal order of an arithmetic function (concept). Also MathWorld NormalOrder
History
- 2026-10-26: add by m2/dev
Norbert Straumann 12AK934M6R
| URI | m2://inv/12AK934M6R |
|---|---|
| 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 Q1997242, Norbert Straumann (unknown). Also nLab Norbert Straumann
History
- 2026-10-26: add by m2/dev
Exponential generating function (1-x^2)^(-1/x). 12BSME93C9
| URI | m2://inv/12BSME93C9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193483, Exponential generating function (1-x^2)^(-1/x). (object). Also OEIS A121452
History
- 2026-10-26: add by m2/dev
Fréchet algebra 12DF1RSEA4
| URI | m2://inv/12DF1RSEA4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5506659, Fréchet algebra (concept). Also EoM Fréchet_algebra
History
- 2026-10-26: add by m2/dev
alternate angles 12EPD8RJQP
| URI | m2://inv/12EPD8RJQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11650583, alternate angles (definition). Also ProofWiki Definition:Transversal_(Geometry)/Alternate_Angles
History
- 2026-10-26: add by m2/dev
Hopf fibration 12JGG4XKJF
| URI | m2://inv/12JGG4XKJF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1627604, Hopf fibration (concept). Also MathWorld HopfMap, nLab Hopf fibration
History
- 2026-10-26: add by m2/dev
Fibonorial 12JYFPPN03
| URI | m2://inv/12JYFPPN03 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8042660, Fibonorial (concept). Also MathWorld Fibonorial
History
- 2026-10-26: add by m2/dev
integral curves 12K3S0RZWP
| URI | m2://inv/12K3S0RZWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > integral curves, integral curves (unknown). Also Mathlib IsMIntegralCurve
History
- 2026-10-26: add by m2/dev
truncated Witt graph 12MMQ07PEG
| URI | m2://inv/12MMQ07PEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115616, truncated Witt graph (unknown). Also MathWorld TruncatedWittGraph
History
- 2026-10-26: add by m2/dev
generalized extreme value distribution 12VW45S9KS
| URI | m2://inv/12VW45S9KS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1617240, generalized extreme value distribution (unknown). Also MathWorld ExtremeValueDistribution
History
- 2026-10-26: add by m2/dev
Quantum threshold theorem 12VZ2GTAMA
| URI | m2://inv/12VZ2GTAMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7269106, Quantum threshold theorem (statement). Also Wikidata Q7269106
- thousand_plus: thousand_plus Q7269106, Quantum threshold theorem (statement). Also Wikidata Q7269106, Wikipedia Quantum threshold theorem
History
- 2026-10-26: add by m2/dev
Philosophiæ Naturalis Principia Mathematica 12XKYAQ90F
| URI | m2://inv/12XKYAQ90F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q205921, Philosophiæ Naturalis Principia Mathematica (unknown). Also ProofWiki Book:Isaac_Newton/Philosophiae_Naturalis_Principia_Mathematica
History
- 2026-10-26: add by m2/dev
tie 12YQP48QQ1
| URI | m2://inv/12YQP48QQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1164849, tie (unknown). Also MathWorld Draw
History
- 2026-10-26: add by m2/dev