Inventory rows 5K
The cards of the rows of the inventory whose ids start with 5K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Banach bundle 5K6WV7T1XC
| URI | m2://inv/5K6WV7T1XC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4853761, Banach bundle (unknown). Also nLab Banach bundle
History
- 2026-10-26: add by m2/dev
Cauchy filter 5KBGCHKGD3
| URI | m2://inv/5KBGCHKGD3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Uniform notions > Cauchy filter, Cauchy filter (unknown). Also Mathlib Cauchy
History
- 2026-10-26: add by m2/dev
bornological space 5KGTNZ5SB5
| URI | m2://inv/5KGTNZ5SB5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q894008, bornological space (unknown). Also nLab bornological space
History
- 2026-10-26: add by m2/dev
symplectic integrator 5KJY2T8ZFN
| URI | m2://inv/5KJY2T8ZFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7661847, symplectic integrator (unknown). Also nLab symplectic integrator
History
- 2026-10-26: add by m2/dev
lightlike four-vector 5KM2426JJB
| URI | m2://inv/5KM2426JJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122208650, lightlike four-vector (unknown). Also MathWorld Lightlike
History
- 2026-10-26: add by m2/dev
Erdős-Moser equation 5KNVZB8RM2
| URI | m2://inv/5KNVZB8RM2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1349616, Erdős-Moser equation (concept). Also MathWorld Erdos-MoserEquation
History
- 2026-10-26: add by m2/dev
convergence in probability 5KPV69KQFA
| URI | m2://inv/5KPV69KQFA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > convergence in probability, convergence in probability (unknown). Also Mathlib MeasureTheory.TendstoInMeasure
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > convergence in probability, convergence in probability (unknown). Also Mathlib MeasureTheory.TendstoInMeasure
History
- 2026-10-26: add by m2/dev
The Birthday Problem 5KTBH6CHJC
| URI | m2://inv/5KTBH6CHJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 93, The Birthday Problem (statement). Also Mathlib Theorems100.birthday, Mathlib Theorems100.birthday_measure
History
- 2026-10-26: add by m2/dev
vertical line test 5KTTJCHFFK
| URI | m2://inv/5KTTJCHFFK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7212729, vertical line test (concept). Also MathWorld VerticalLineTest
History
- 2026-10-26: add by m2/dev
Lindelöf hypothesis 5KVX376ZV0
| URI | m2://inv/5KVX376ZV0 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q911528, Lindelöf hypothesis (conjecture). Also ProofWiki Lindelöf_Hypothesis
History
- 2026-10-26: add by m2/dev
uniformly convex space 5KW7DPC3WZ
| URI | m2://inv/5KW7DPC3WZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q847535, uniformly convex space (unknown). Also MathWorld UniformlyConvex
History
- 2026-10-26: add by m2/dev
Rice distribution 5KWN6G0956
| URI | m2://inv/5KWN6G0956 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2671311, Rice distribution (unknown). Also MathWorld RiceDistribution
History
- 2026-10-26: add by m2/dev
winding number 5KWNA1YNVQ
| URI | m2://inv/5KWNA1YNVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120755990, winding number (unknown). Also MathWorld ContourWindingNumber
History
- 2026-10-26: add by m2/dev
second fundamental form 5KXWD8WPB5
| URI | m2://inv/5KXWD8WPB5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q233220, second fundamental form (unknown). Also EoM Second_fundamental_form, MathWorld SecondFundamentalForm
History
- 2026-10-26: add by m2/dev