Inventory rows RA
The cards of the rows of the inventory whose ids start with RA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
triangle inequality for complex numbers RA6XEDPN57
| URI | m2://inv/RA6XEDPN57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120567818, triangle inequality for complex numbers (statement). Also ProofWiki Triangle_Inequality/Complex_Numbers
History
- 2026-10-26: add by m2/dev
Kruskal–Katona theorem RABH7P0RZ3
| URI | m2://inv/RABH7P0RZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527102, Kruskal–Katona theorem (statement). Also Mathlib Finset.kruskal_katona, Wikidata Q3527102
- mathlib_overview: mathlib_overview Combinatorics > Set families > Kruskal-Katona theorem, Kruskal-Katona theorem (unknown). Also Mathlib Finset.kruskal_katona
- thousand_plus: thousand_plus Q3527102, Kruskal–Katona theorem (statement). Also Mathlib Finset.kruskal_katona, Wikidata Q3527102, Wikipedia Kruskal–Katona theorem
History
- 2026-10-26: add by m2/dev
Blichfeldt's theorem RABVYKRXWX
| URI | m2://inv/RABVYKRXWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30749910, Blichfeldt's theorem (statement). Also MathWorld BlichfeldtsTheorem
History
- 2026-10-26: add by m2/dev
Richard Dien Winfield RAD28Y0ZD2
| URI | m2://inv/RAD28Y0ZD2 |
|---|---|
| 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 Q81749700, Richard Dien Winfield (unknown). Also nLab Richard Dien Winfield
History
- 2026-10-26: add by m2/dev
protium RAK0CG6T72
| URI | m2://inv/RAK0CG6T72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12830437, protium (definition). Also ProofWiki Definition:Hydrogen/1
History
- 2026-10-26: add by m2/dev
lituus RAPCNFYQNK
| URI | m2://inv/RAPCNFYQNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q404794, lituus (unknown). Also MathWorld Lituus
History
- 2026-10-26: add by m2/dev
maximum independent set RASRFF3B7E
| URI | m2://inv/RASRFF3B7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93597459, maximum independent set (unknown). Also MathWorld MaximumIndependentVertexSet
History
- 2026-10-26: add by m2/dev