Inventory rows A7
The cards of the rows of the inventory whose ids start with A7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
smooth map between manifolds A70VMF43AK
| URI | m2://inv/A70VMF43AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > smooth map between manifolds, smooth map between manifolds (unknown). Also Mathlib ContMDiff
History
- 2026-10-26: add by m2/dev
Karl Stein A74H40CWYK
| URI | m2://inv/A74H40CWYK |
|---|---|
| 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 Q68536, Karl Stein (unknown). Also nLab Karl Stein
History
- 2026-10-26: add by m2/dev
essential singularity A75KPYMJ2Y
| URI | m2://inv/A75KPYMJ2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Essential singularity 0B8837S5T3 |
Mentions
- wikidata: Wikidata Q1876526, essential singularity (definition). Also EoM Essential_singular_point, MathWorld EssentialSingularity, ProofWiki Definition:Essential_Singularity
History
- 2026-10-26: add by m2/dev
gravitational field A762136END
| URI | m2://inv/A762136END |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q558066, gravitational field (definition). Also ProofWiki Definition:Gravitational_Field
History
- 2026-10-26: add by m2/dev
axiom of limitation of size A7BKMQ06WX
| URI | m2://inv/A7BKMQ06WX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q836475, axiom of limitation of size (statement). Also ProofWiki Axiom:Axiom_of_Limitation_of_Size
History
- 2026-10-26: add by m2/dev
zero divisor A7EKMZA5XT
| URI | m2://inv/A7EKMZA5XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Zero divisor 0NNRDW10RZ |
Mentions
- wikidata: Wikidata Q828111, zero divisor (definition). Also EoM Zero_divisor, LMFDB knowl ring.zero_divisor, MathWorld ZeroDivisor, ProofWiki Definition:Zero_Divisor
History
- 2026-10-26: add by m2/dev
Luca Tagliacozzo A7FHDTWYDH
| URI | m2://inv/A7FHDTWYDH |
|---|---|
| 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 Q51508171, Luca Tagliacozzo (unknown). Also nLab Luca Tagliacozzo
History
- 2026-10-26: add by m2/dev
double integral A7M94FC5Z0
| URI | m2://inv/A7M94FC5Z0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9185332, double integral (unknown). Also MathWorld DoubleIntegral
History
- 2026-10-26: add by m2/dev
iron-55 A7P57SHGW0
| URI | m2://inv/A7P57SHGW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2015910, iron-55 (definition). Also ProofWiki Definition:Iron/55
History
- 2026-10-26: add by m2/dev
Wolf Prize A7TCX9V8HY
| URI | m2://inv/A7TCX9V8HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q739936, Wolf Prize (definition). Also MathWorld WolfPrize, ProofWiki Definition:Wolf_Prize
History
- 2026-10-26: add by m2/dev
Feuerbach’s Theorem A7V8GJ95T7
| URI | m2://inv/A7V8GJ95T7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 29, Feuerbach’s Theorem (statement)
History
- 2026-10-26: add by m2/dev