Inventory rows 1V
The cards of the rows of the inventory whose ids start with 1V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
continuity of monotone functions 1V4T40XZQG
| URI | m2://inv/1V4T40XZQG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > continuity of monotone functions, continuity of monotone functions (unknown). Also Mathlib OrderIso.continuous
History
- 2026-10-26: add by m2/dev
removable singularity 1V6YX6GYB3
| URI | m2://inv/1V6YX6GYB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > removable singularity, removable singularity (unknown). Also Mathlib Complex.differentiableOn_update_limUnder_insert_of_isLittleO
History
- 2026-10-26: add by m2/dev
Banach–Mazur theorem 1V86A1PN4E
| URI | m2://inv/1V86A1PN4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226610, Banach–Mazur theorem (statement). Also Wikidata Q2226610
- thousand_plus: thousand_plus Q2226610, Banach–Mazur theorem (statement). Also Wikidata Q2226610, Wikipedia Banach–Mazur theorem
History
- 2026-10-26: add by m2/dev
N-skeleton 1VCEHQPVNG
| URI | m2://inv/1VCEHQPVNG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5154570, N-skeleton (unknown). Also MathWorld Skeleton
History
- 2026-10-26: add by m2/dev
Riemann series theorem 1VKD86MZEN
| URI | m2://inv/1VKD86MZEN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 40-XX |
| Sources | 3 |
| Outcome | open |
| Node | Riemann rearrangement theorem 0E7VBYGFF7 |
Mentions
- mathlib_1000: mathlib_1000 Q1752516, Riemann series theorem (statement). Also Wikidata Q1752516
- thousand_plus: thousand_plus Q1752516, Riemann series theorem (statement). Also Wikidata Q1752516, Wikipedia Riemann series theorem
- wikidata: Wikidata Q1752516, Riemann series theorem (statement). Also MathWorld RiemannSeriesTheorem
History
- 2026-10-26: add by m2/dev
latus rectum 1VKP8D4MVP
| URI | m2://inv/1VKP8D4MVP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10316509, latus rectum (concept). Also MathWorld LatusRectum
History
- 2026-10-26: add by m2/dev
quasi-isomorphism 1VQZS6RMS4
| URI | m2://inv/1VQZS6RMS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3413378, quasi-isomorphism (unknown). Also nLab quasi-isomorphism
History
- 2026-10-26: add by m2/dev
abelianization 1VRAZ8FKZH
| URI | m2://inv/1VRAZ8FKZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > abelianization, abelianization (unknown). Also Mathlib Abelianization
History
- 2026-10-26: add by m2/dev
Cross-cap 1VRV0RKB37
| URI | m2://inv/1VRV0RKB37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1788284, Cross-cap (unknown). Also MathWorld Cross-Cap
History
- 2026-10-26: add by m2/dev
superfactorial 1VSTMQZ6FK
| URI | m2://inv/1VSTMQZ6FK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18449138, superfactorial (object). Also OEIS A000178
History
- 2026-10-26: add by m2/dev
outerplanar graph 1VT9MF3S1C
| URI | m2://inv/1VT9MF3S1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115604, outerplanar graph (unknown). Also MathWorld OuterplanarGraph
History
- 2026-10-26: add by m2/dev
counting measure 1VTPEDF1VS
| URI | m2://inv/1VTPEDF1VS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > counting measure, counting measure (unknown). Also Mathlib MeasureTheory.Measure.count
History
- 2026-10-26: add by m2/dev