Inventory rows 7W
The cards of the rows of the inventory whose ids start with 7W. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
redundancy 7W0N4XWZ9J
| URI | m2://inv/7W0N4XWZ9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122192, redundancy (unknown). Also MathWorld Redundancy
History
- 2026-10-26: add by m2/dev
Wigner semicircle distribution 7WB7HNHTBE
| URI | m2://inv/7WB7HNHTBE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2246294, Wigner semicircle distribution (concept). Also MathWorld WignersSemicircleLaw
History
- 2026-10-26: add by m2/dev
poly-nilpotent group 7WBPD3TB29
| URI | m2://inv/7WBPD3TB29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4369993, poly-nilpotent group (unknown). Also EoM Poly-nilpotent_group
History
- 2026-10-26: add by m2/dev
Infinity: A Very Short Introduction 7WCYW7DB6F
| URI | m2://inv/7WCYW7DB6F |
|---|---|
| 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 Q114004720, Infinity: A Very Short Introduction (unknown). Also ProofWiki Book:Ian_Stewart/Infinity:_A_Very_Short_Introduction
History
- 2026-10-26: add by m2/dev
approach space 7WDW4PAAG3
| URI | m2://inv/7WDW4PAAG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4781718, approach space (unknown). Also nLab approach space
History
- 2026-10-26: add by m2/dev
Euclidean group 7WEJ0MVGBQ
| URI | m2://inv/7WEJ0MVGBQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Euclidean group 0H3YY8CPKH |
Mentions
- wikidata: Wikidata Q852195, Euclidean group (unknown). Also MathWorld EuclideanGroup
History
- 2026-10-26: add by m2/dev
induction hypothesis 7WF47BFGVP
| URI | m2://inv/7WF47BFGVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54505027, induction hypothesis (definition). Also ProofWiki Definition:Induction_Hypothesis
History
- 2026-10-26: add by m2/dev
First Main Theorem of Value Distribution Theory 7WHAAFR5CR
| URI | m2://inv/7WHAAFR5CR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > First Main Theorem of Value Distribution Theory, First Main Theorem of Value Distribution Theory (unknown). Also Mathlib ValueDistribution.characteristic_sub_characteristic_inv_le
History
- 2026-10-26: add by m2/dev
7WMHNFCD3Q 7WMHNFCD3Q
| URI | m2://inv/7WMHNFCD3Q |
|---|---|
| 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 Q14491931 (unknown). Also nLab Thomas Streicher
History
- 2026-10-26: add by m2/dev
Milliken's tree theorem 7WR07DB0Q5
| URI | m2://inv/7WR07DB0Q5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6859627, Milliken's tree theorem (statement). Also Wikidata Q6859627
- thousand_plus: thousand_plus Q6859627, Milliken's tree theorem (statement). Also Wikidata Q6859627, Wikipedia Milliken's tree theorem
History
- 2026-10-26: add by m2/dev
local homeomorphism 7WSCQ72M8S
| URI | m2://inv/7WSCQ72M8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1052761, local homeomorphism (unknown). Also nLab local homeomorphism
History
- 2026-10-26: add by m2/dev
Adams' Circle 7WVXKVZRYC
| URI | m2://inv/7WVXKVZRYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125684910, Adams' Circle (unknown). Also MathWorld AdamsCircle
History
- 2026-10-26: add by m2/dev