Inventory rows 7Q
The cards of the rows of the inventory whose ids start with 7Q. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
focus 7Q1R89AAJ5
| URI | m2://inv/7Q1R89AAJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Application of quadratic forms to study proper conic sections of the affine Euclidean plane > focus, focus (unknown)
History
- 2026-10-26: add by m2/dev
Giry monad 7Q1SHM1DJN
| URI | m2://inv/7Q1SHM1DJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Giry monad, Giry monad (unknown). Also Mathlib MeasureTheory.Measure.instMeasurableSpace
History
- 2026-10-26: add by m2/dev
square 7Q2E3TW7DF
| URI | m2://inv/7Q2E3TW7DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111124, square (definition). Also ProofWiki Definition:Square/Function
History
- 2026-10-26: add by m2/dev
black hole information paradox 7Q8PWXZFHE
| URI | m2://inv/7Q8PWXZFHE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1471710, black hole information paradox (unknown). Also nLab black hole information paradox
History
- 2026-10-26: add by m2/dev
Vinogradov's theorem 7QADB6KRJT
| URI | m2://inv/7QADB6KRJT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1694565, Vinogradov's theorem (statement). Also Wikidata Q1694565
- thousand_plus: thousand_plus Q1694565, Vinogradov's theorem (statement). Also Wikidata Q1694565, Wikipedia Vinogradov's theorem
- wikidata: Wikidata Q1694565, Vinogradov's theorem (statement). Also MathWorld VinogradovsTheorem
History
- 2026-10-26: add by m2/dev
geometric function theory 7QCF372D1M
| URI | m2://inv/7QCF372D1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5535485, geometric function theory (topic). Also nLab geometric function theory
History
- 2026-10-26: add by m2/dev
pentatope number 7QDC1F8YWX
| URI | m2://inv/7QDC1F8YWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1403502, pentatope number (unknown). Also MathWorld PentatopeNumber, OEIS A000332
History
- 2026-10-26: add by m2/dev
Eisenstein prime 7QFNCJX2E5
| URI | m2://inv/7QFNCJX2E5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q898675, Eisenstein prime (concept). Also MathWorld EisensteinPrime
History
- 2026-10-26: add by m2/dev
invariant polynomial 7QRWEZQ9A7
| URI | m2://inv/7QRWEZQ9A7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2920801, invariant polynomial (unknown). Also nLab invariant polynomial
History
- 2026-10-26: add by m2/dev
dyadic transformation 7QS31T7AYM
| URI | m2://inv/7QS31T7AYM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q826704, dyadic transformation (concept). Also MathWorld 2xmod1Map
History
- 2026-10-26: add by m2/dev
fundamental vector field 7QSYE7A7SS
| URI | m2://inv/7QSYE7A7SS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5508976, fundamental vector field (unknown). Also nLab fundamental vector field
History
- 2026-10-26: add by m2/dev
chirality 7QXTNT121V
| URI | m2://inv/7QXTNT121V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3734365, chirality (unknown). Also MathWorld Handedness
History
- 2026-10-26: add by m2/dev
Clapeyron's theorem 7QYS8JXJYS
| URI | m2://inv/7QYS8JXJYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5125859, Clapeyron's theorem (statement). Also Wikidata Q5125859
- thousand_plus: thousand_plus Q5125859, Clapeyron's theorem (statement). Also Wikidata Q5125859, Wikipedia Clapeyron's theorem
History
- 2026-10-26: add by m2/dev