Inventory rows V4
The cards of the rows of the inventory whose ids start with V4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
strong monomorphism V40NYNSNVZ
| URI | m2://inv/V40NYNSNVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48971638, strong monomorphism (unknown). Also nLab strong monomorphism
History
- 2026-10-26: add by m2/dev
model theory V4A3CW688P
| URI | m2://inv/V4A3CW688P |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03Cxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q467606, model theory (topic). Also EoM Model_theory, MathWorld ModelTheory, nLab model theory, ProofWiki Definition:Model_Theory
History
- 2026-10-26: add by m2/dev
classical Gaudin model V4AE08AS0E
| URI | m2://inv/V4AE08AS0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116881111, classical Gaudin model (unknown). Also nLab Gaudin integrable model
History
- 2026-10-26: add by m2/dev
digit sum V4BGAVG0HC
| URI | m2://inv/V4BGAVG0HC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1363568, digit sum (unknown). Also MathWorld DigitSum
History
- 2026-10-26: add by m2/dev
dodecagon V4CEDKNHCY
| URI | m2://inv/V4CEDKNHCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q212074, dodecagon (unknown). Also MathWorld Dodecagon
History
- 2026-10-26: add by m2/dev
empty function V4D5693H98
| URI | m2://inv/V4D5693H98 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2295354, empty function (unknown). Also nLab empty function
History
- 2026-10-26: add by m2/dev
radix V4DCF60E8X
| URI | m2://inv/V4DCF60E8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q843684, radix (definition). Also MathWorld Base, ProofWiki Definition:Number_Base
History
- 2026-10-26: add by m2/dev
nat V4EFANTFCN
| URI | m2://inv/V4EFANTFCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q376660, nat (unknown). Also MathWorld Nat
History
- 2026-10-26: add by m2/dev
T/t V4GT6J4SDH
| URI | m2://inv/V4GT6J4SDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9813, T/t (unknown). Also ProofWiki Symbols:T
History
- 2026-10-26: add by m2/dev
Smith number V4GY1ESJVT
| URI | m2://inv/V4GY1ESJVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1418132, Smith number (unknown). Also MathWorld SmithNumber, OEIS A006753
History
- 2026-10-26: add by m2/dev
logic V4JV8GMNG6
| URI | m2://inv/V4JV8GMNG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8078, logic (definition). Also MathWorld Logic, ProofWiki Definition:Logic
History
- 2026-10-26: add by m2/dev
Rodion Kuzmin V4M9Z0CJK3
| URI | m2://inv/V4M9Z0CJK3 |
|---|---|
| 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 Q959719, Rodion Kuzmin (unknown). Also ProofWiki Mathematician:Rodion_Osievich_Kuzmin
History
- 2026-10-26: add by m2/dev
O'Nan group V4NFNBFGRP
| URI | m2://inv/V4NFNBFGRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117692, O'Nan group (unknown). Also MathWorld ONanGroup
History
- 2026-10-26: add by m2/dev
fundamental solution of the Laplacian V4PV6D5GNZ
| URI | m2://inv/V4PV6D5GNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > fundamental solution of the Laplacian, fundamental solution of the Laplacian (unknown)
History
- 2026-10-26: add by m2/dev
Kronecker product V4R9DR3R6F
| URI | m2://inv/V4R9DR3R6F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Kronecker product 0N7ENQRCXN |
Mentions
- wikidata: Wikidata Q1238125, Kronecker product (concept). Also MathWorld KroneckerProduct
History
- 2026-10-26: add by m2/dev
F-distribution V4S2G99E4Y
| URI | m2://inv/V4S2G99E4Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q177144, F-distribution (concept). Also EoM Fisher-F-distribution, MathWorld SnedecorsF-Distribution
History
- 2026-10-26: add by m2/dev
vector subtraction V4SANWQ8YD
| URI | m2://inv/V4SANWQ8YD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117442307, vector subtraction (unknown). Also MathWorld VectorSubtraction
History
- 2026-10-26: add by m2/dev
negative pedal curve V4TWZ95AMF
| URI | m2://inv/V4TWZ95AMF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4067113, negative pedal curve (unknown). Also MathWorld NegativePedalCurve
History
- 2026-10-26: add by m2/dev
maximum modulus principle V4WK0FZ9KV
| URI | m2://inv/V4WK0FZ9KV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > maximum modulus principle, maximum modulus principle (unknown). Also Mathlib Complex.eventually_eq_of_isLocalMax_norm
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > maximum principle, maximum principle (unknown). Also Mathlib Complex.eventually_eq_of_isLocalMax_norm
History
- 2026-10-26: add by m2/dev
Kleene's recursion theorem V4XWHVTZV5
| URI | m2://inv/V4XWHVTZV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1933521, Kleene's recursion theorem (statement). Also Mathlib Nat.Partrec.Code.fixed_point₂, Wikidata Q1933521
- thousand_plus: thousand_plus Q1933521, Kleene's recursion theorem (statement). Also Mathlib Nat.Partrec.Code.fixed_point₂, Wikidata Q1933521, Wikipedia Kleene's recursion theorem
- wikidata: Wikidata Q1933521, Kleene's recursion theorem (statement). Also MathWorld KleenesRecursionTheorem
History
- 2026-10-26: add by m2/dev
myriagon V4Y92P82N8
| URI | m2://inv/V4Y92P82N8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1897973, myriagon (unknown). Also MathWorld Myriagon
History
- 2026-10-26: add by m2/dev
Walsh function V4YFRK89FY
| URI | m2://inv/V4YFRK89FY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1934233, Walsh function (concept). Also MathWorld WalshFunction
History
- 2026-10-26: add by m2/dev
cubic equation V4YRGTGRC4
| URI | m2://inv/V4YRGTGRC4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 37, The Solution of a Cubic (statement). Also Mathlib Theorems100.cubic_eq_zero_iff
- mathlib_1000: mathlib_1000 Q203565, Solutions of a general cubic equation (statement). Also Mathlib Theorems100.cubic_eq_zero_iff, Wikidata Q203565
- thousand_plus: thousand_plus Q203565, Solutions of a general cubic equation (statement). Also Mathlib Theorems100.cubic_eq_zero_iff, Wikidata Q203565, Wikipedia Cubic equation
- wikidata: Wikidata Q203565, cubic equation (definition). Also EoM Cubic_equation, MathWorld CubicFormula, ProofWiki Definition:Cubic_Equation
History
- 2026-10-26: add by m2/dev
Schreier refinement theorem V4ZB93MSX9
| URI | m2://inv/V4ZB93MSX9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7432872, Schreier refinement theorem (statement). Also Wikidata Q7432872
- thousand_plus: thousand_plus Q7432872, Schreier refinement theorem (statement). Also Wikidata Q7432872, Wikipedia Schreier refinement theorem
History
- 2026-10-26: add by m2/dev