Inventory rows 3A
The cards of the rows of the inventory whose ids start with 3A. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
second-countable space 3A3JWDGHX5
| URI | m2://inv/3A3JWDGHX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Second-countable space 00RE1R4W7N |
Mentions
- wikidata: Wikidata Q1363919, second-countable space (definition). Also EoM Second_axiom_of_countability, MathWorld SecondCountableSpace, MathWorld SecondCountableTopology, nLab second-countable space, ProofWiki Definition:Second-Countable_Space
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Berezinian 3A624WNVJK
| URI | m2://inv/3A624WNVJK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3638518, Berezinian (unknown). Also nLab superdeterminant
History
- 2026-10-26: add by m2/dev
common difference 3A6RQAKGZX
| URI | m2://inv/3A6RQAKGZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136823838, common difference (unknown). Also MathWorld CommonDifference
History
- 2026-10-26: add by m2/dev
Alexander E. Postnikov 3AA347N5FW
| URI | m2://inv/3AA347N5FW |
|---|---|
| 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 Q102169204, Alexander E. Postnikov (unknown). Also nLab Alexander Postnikov
History
- 2026-10-26: add by m2/dev
quasiconvex function 3AAD3V9K25
| URI | m2://inv/3AAD3V9K25 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1126412, quasiconvex function (unknown). Also MathWorld Quasi-ConvexFunction
History
- 2026-10-26: add by m2/dev
deltoidal hexecontahedral graph 3AARZD869G
| URI | m2://inv/3AARZD869G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115566, deltoidal hexecontahedral graph (unknown). Also House of Graphs 1030, MathWorld DeltoidalHexecontahedralGraph
History
- 2026-10-26: add by m2/dev
enumerative geometry 3ADERKTSKF
| URI | m2://inv/3ADERKTSKF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2429676, enumerative geometry (topic). Also nLab enumerative geometry
History
- 2026-10-26: add by m2/dev
Fernique's theorem 3AFAHAYE0G
| URI | m2://inv/3AFAHAYE0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5445112, Fernique's theorem (statement). Also Mathlib ProbabilityTheory.IsGaussian.exists_integrable_exp_sq, Wikidata Q5445112
- thousand_plus: thousand_plus Q5445112, Fernique's theorem (statement). Also Mathlib ProbabilityTheory.IsGaussian.exists_integrable_exp_sq, Wikidata Q5445112, Wikipedia Fernique's theorem
History
- 2026-10-26: add by m2/dev
diagonalization of self-adjoint endomorphisms 3AG5VXTFZK
| URI | m2://inv/3AG5VXTFZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Finite-dimensional inner product spaces (see also Hilbert spaces, below) > diagonalization of self-adjoint endomorphisms, diagonalization of self-adjoint endomorphisms (unknown). Also Mathlib LinearMap.IsSymmetric.eigenvectorBasis_apply_self_apply
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > diagonalization of a self-adjoint endomorphism, diagonalization of a self-adjoint endomorphism (unknown). Also Mathlib LinearMap.IsSymmetric.eigenvectorBasis_apply_self_apply
History
- 2026-10-26: add by m2/dev
Ehud Hrushovski 3AJB4Y637X
| URI | m2://inv/3AJB4Y637X |
|---|---|
| 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 Q949349, Ehud Hrushovski (unknown). Also nLab Ehud Hrushovski
History
- 2026-10-26: add by m2/dev
fibrant object 3AK2Q5BC81
| URI | m2://inv/3AK2Q5BC81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5446408, fibrant object (unknown). Also nLab fibrant object
History
- 2026-10-26: add by m2/dev
Parallel axis theorem 3AQ0DYN5JM
| URI | m2://inv/3AQ0DYN5JM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q828284, Parallel axis theorem (statement). Also Wikidata Q828284
- thousand_plus: thousand_plus Q828284, Parallel axis theorem (statement). Also Wikidata Q828284, Wikipedia Parallel axis theorem
History
- 2026-10-26: add by m2/dev
piecewise $C^k$ functions 3AXFDPK2ST
| URI | m2://inv/3AXFDPK2ST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > piecewise $C^k$ functions, piecewise $C^k$ functions (unknown)
History
- 2026-10-26: add by m2/dev
Albert Burroni 3AXP01SMZR
| URI | m2://inv/3AXP01SMZR |
|---|---|
| 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 Q102293456, Albert Burroni (unknown). Also nLab Albert Burroni
History
- 2026-10-26: add by m2/dev
Hom functor 3AY1DT3GK1
| URI | m2://inv/3AY1DT3GK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5887297, Hom functor (definition). Also MathWorld Hom, nLab hom-functor, ProofWiki Definition:Hom_Functor
History
- 2026-10-26: add by m2/dev