Inventory rows ED
The cards of the rows of the inventory whose ids start with ED. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
snub cube ED32AVY4AB
| URI | m2://inv/ED32AVY4AB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125569, snub cube (object). Also MathWorld SnubCube
History
- 2026-10-26: add by m2/dev
windmill graph ED3JHWVFB4
| URI | m2://inv/ED3JHWVFB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8024306, windmill graph (unknown). Also MathWorld WindmillGraph
History
- 2026-10-26: add by m2/dev
pace ED4669SES0
| URI | m2://inv/ED4669SES0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q691543, pace (definition). Also ProofWiki Definition:Historic_Measures/Length/Pace
History
- 2026-10-26: add by m2/dev
path integral ED4RA7MBG7
| URI | m2://inv/ED4RA7MBG7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81S40 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q898323, path integral (topic). Also EoM Integral_over_trajectories
History
- 2026-10-26: add by m2/dev
main diagonal ED7MMC4WYZ
| URI | m2://inv/ED7MMC4WYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q651480, main diagonal (unknown). Also MathWorld MainDiagonal
History
- 2026-10-26: add by m2/dev
Lambda-CDM model EDB76H0J9S
| URI | m2://inv/EDB76H0J9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q692197, Lambda-CDM model (unknown). Also nLab standard model of cosmology
History
- 2026-10-26: add by m2/dev
inductive tensor product EDC8E40ZND
| URI | m2://inv/EDC8E40ZND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96382131, inductive tensor product (unknown). Also nLab inductive tensor product
History
- 2026-10-26: add by m2/dev
mirror image EDJC25964X
| URI | m2://inv/EDJC25964X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2703478, mirror image (unknown). Also MathWorld MirrorImage
History
- 2026-10-26: add by m2/dev
Ruzsa triangle inequality EDJZD1HJY6
| URI | m2://inv/EDJZD1HJY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Ruzsa triangle inequality, Ruzsa triangle inequality (unknown). Also Mathlib Finset.ruzsa_triangle_inequality_sub_sub_sub
History
- 2026-10-26: add by m2/dev
extension by continuity EDPSDTKTFY
| URI | m2://inv/EDPSDTKTFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > extension by continuity, extension by continuity (unknown). Also Mathlib IsDenseInducing.extend
History
- 2026-10-26: add by m2/dev
piecewise linear manifold EDSE0EV180
| URI | m2://inv/EDSE0EV180 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7191425, piecewise linear manifold (unknown). Also EoM Piecewise-linear_topology, nLab piecewise-linear manifold
History
- 2026-10-26: add by m2/dev
cumulative relative frequency EDT5ZGZ930
| URI | m2://inv/EDT5ZGZ930 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q112310951, cumulative relative frequency (concept). Also MathWorld RelativeCumulativeFrequency
History
- 2026-10-26: add by m2/dev
arc-connected space EDXT1MJYK2
| URI | m2://inv/EDXT1MJYK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11679929, arc-connected space (definition). Also MathWorld Arcwise-Connected, ProofWiki Definition:Arc-Connected
History
- 2026-10-26: add by m2/dev