Inventory rows RY
The cards of the rows of the inventory whose ids start with RY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Steinitz's theorem RY0KEP5EDT
| URI | m2://inv/RY0KEP5EDT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7606897, Steinitz theorem (statement). Also Wikidata Q7606897
- thousand_plus: thousand_plus Q7606897, Steinitz theorem (statement). Also Wikidata Q7606897, Wikipedia Steinitz theorem
- wikidata: Wikidata Q7606897, Steinitz's theorem (statement). Also MathWorld SteinitzsTheorem
History
- 2026-10-26: add by m2/dev
abelian category RY3BKEFJ0V
| URI | m2://inv/RY3BKEFJ0V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > abelian category, abelian category (unknown). Also Mathlib CategoryTheory.Abelian
- wikidata: Wikidata Q318737, abelian category (concept). Also EoM Abelian_category, Mathlib CategoryTheory.Abelian, MathWorld AbelianCategory, nLab abelian category, ProofWiki Definition:Abelian_Category
History
- 2026-10-26: add by m2/dev
characteristic p RY58RAMBWQ
| URI | m2://inv/RY58RAMBWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > characteristic p, characteristic p (unknown). Also Mathlib CharP
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > characteristic p, characteristic p (unknown). Also Mathlib CharP
History
- 2026-10-26: add by m2/dev
set function RY7JX4W485
| URI | m2://inv/RY7JX4W485 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1657198, set function (unknown). Also MathWorld SetFunction
History
- 2026-10-26: add by m2/dev
Pseudorandom generator theorem RYB3TM6P37
| URI | m2://inv/RYB3TM6P37 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7255475, Pseudorandom generator theorem (statement). Also Wikidata Q7255475
- thousand_plus: thousand_plus Q7255475, Pseudorandom generator theorem (statement). Also Wikidata Q7255475, Wikipedia Pseudorandom generator theorem
History
- 2026-10-26: add by m2/dev
twin prime RYCY0QF45R
| URI | m2://inv/RYCY0QF45R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110863, twin prime (unknown). Also MathWorld TwinPrimes
History
- 2026-10-26: add by m2/dev
Maxwell–Boltzmann distribution RYHXT8FYXX
| URI | m2://inv/RYHXT8FYXX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q634965, Maxwell–Boltzmann distribution (unknown). Also MathWorld MaxwellDistribution
History
- 2026-10-26: add by m2/dev
Schur functor RYJBXYH8RC
| URI | m2://inv/RYJBXYH8RC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7433033, Schur functor (unknown). Also MathWorld SchurFunctor, nLab Schur functor
History
- 2026-10-26: add by m2/dev
space group RYJGM5TBYH
| URI | m2://inv/RYJGM5TBYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q899033, space group (unknown). Also MathWorld SpaceGroups
History
- 2026-10-26: add by m2/dev
Schoch line RYJRDRSJ8D
| URI | m2://inv/RYJRDRSJ8D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1878128, Schoch line (unknown). Also MathWorld SchochLine
History
- 2026-10-26: add by m2/dev
co-H-space RYP1GV33GX
| URI | m2://inv/RYP1GV33GX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124630682, co-H-space (concept). Also EoM Co-H-space, MathWorld Co-H-Space, nLab co-H-space
History
- 2026-10-26: add by m2/dev
trigonometry RYQT0H4A13
| URI | m2://inv/RYQT0H4A13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8084, trigonometry (topic). Also MathWorld Trigonometry, ProofWiki Definition:Trigonometry
History
- 2026-10-26: add by m2/dev
energy condition RYR4HTPD13
| URI | m2://inv/RYR4HTPD13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q986455, energy condition (unknown). Also nLab energy condition
History
- 2026-10-26: add by m2/dev
statcoulomb RYRMRR277A
| URI | m2://inv/RYRMRR277A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21131, statcoulomb (definition). Also ProofWiki Definition:Statcoulomb
History
- 2026-10-26: add by m2/dev
asymptotic sequence RYV5QJDP5T
| URI | m2://inv/RYV5QJDP5T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138568949, asymptotic sequence (unknown). Also EoM Asymptotic_sequence
History
- 2026-10-26: add by m2/dev
Shinsei Ryū RYXC2BE0KR
| URI | m2://inv/RYXC2BE0KR |
|---|---|
| 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 Q20853613, Shinsei Ryū (unknown). Also nLab Shinsei Ryu
History
- 2026-10-26: add by m2/dev