Inventory rows X1
The cards of the rows of the inventory whose ids start with X1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Weil cohomology theory X10XEK9PEM
| URI | m2://inv/X10XEK9PEM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7980184, Weil cohomology theory (unknown). Also nLab Weil cohomology theory
History
- 2026-10-26: add by m2/dev
Hajnal–Szemerédi theorem X12DR2DCFW
| URI | m2://inv/X12DR2DCFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2984415, Hajnal–Szemerédi theorem (statement). Also Wikidata Q2984415
- thousand_plus: thousand_plus Q2984415, Hajnal–Szemerédi theorem (statement). Also Wikidata Q2984415, Wikipedia Hajnal–Szemerédi theorem
History
- 2026-10-26: add by m2/dev
Maximum size of an intersecting family X1641YYWGT
| URI | m2://inv/X1641YYWGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Set families > Maximum size of an intersecting family, Maximum size of an intersecting family (unknown). Also Mathlib Set.Intersecting.is_max_iff_card_eq
History
- 2026-10-26: add by m2/dev
maximal solutions X1CRAN35V9
| URI | m2://inv/X1CRAN35V9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > maximal solutions, maximal solutions (unknown)
History
- 2026-10-26: add by m2/dev
NS5-brane X1DSA0XEN9
| URI | m2://inv/X1DSA0XEN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1051696, NS5-brane (unknown). Also nLab NS5-brane
History
- 2026-10-26: add by m2/dev
transformations fixing a basis of directions X1GHKY4RAS
| URI | m2://inv/X1GHKY4RAS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > transformations fixing a basis of directions, transformations fixing a basis of directions (unknown)
History
- 2026-10-26: add by m2/dev
string topology X1KGN7A8HW
| URI | m2://inv/X1KGN7A8HW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7623999, string topology (unknown). Also nLab string topology
History
- 2026-10-26: add by m2/dev
spiral X1NEBGZ0QQ
| URI | m2://inv/X1NEBGZ0QQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q189114, spiral (unknown). Also MathWorld Spiral
History
- 2026-10-26: add by m2/dev
pp-wave spacetime X1P6PDG7EK
| URI | m2://inv/X1P6PDG7EK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3966083, pp-wave spacetime (unknown). Also nLab pp-wave spacetime
History
- 2026-10-26: add by m2/dev
Nagayoshi Iwahori X1RJMXRE8C
| URI | m2://inv/X1RJMXRE8C |
|---|---|
| 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 Q11116947, Nagayoshi Iwahori (unknown). Also ProofWiki Mathematician:Nagayoshi_Iwahori
History
- 2026-10-26: add by m2/dev
Lindeberg's condition X1WMNQE0A5
| URI | m2://inv/X1WMNQE0A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1825985, Lindeberg's condition (statement). Also MathWorld LindebergCondition
History
- 2026-10-26: add by m2/dev
full functor X1WN7AERXF
| URI | m2://inv/X1WN7AERXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33059348, full functor (definition). Also nLab full functor, ProofWiki Definition:Full_Functor
History
- 2026-10-26: add by m2/dev
As I was going to St Ives X1YHJYHHJT
| URI | m2://inv/X1YHJYHHJT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q719944, As I was going to St Ives (statement). Also MathWorld StIvesProblem, ProofWiki St._Ives_Problem
History
- 2026-10-26: add by m2/dev