Inventory rows 14
The cards of the rows of the inventory whose ids start with 14. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Open mapping theorem (functional analysis) 140ZC6FRRP
| URI | m2://inv/140ZC6FRRP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q944297, Open mapping theorem (functional analysis) (statement). Also Mathlib ContinuousLinearMap.isOpenMap, Wikidata Q944297
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > Banach open mapping theorem, Banach open mapping theorem (unknown). Also Mathlib ContinuousLinearMap.isOpenMap
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Banach open mapping theorem, Banach open mapping theorem (unknown). Also Mathlib ContinuousLinearMap.isOpenMap
- thousand_plus: thousand_plus Q944297, Open mapping theorem (functional analysis) (statement). Also Mathlib ContinuousLinearMap.isOpenMap, Wikidata Q944297, Wikipedia Open mapping theorem (functional analysis)
History
- 2026-10-26: add by m2/dev
Lissajous curve 141W1HY6SK
| URI | m2://inv/141W1HY6SK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q594135, Lissajous curve (concept). Also MathWorld LissajousCurve
History
- 2026-10-26: add by m2/dev
Pierre de Fermat 146XTNYA2W
| URI | m2://inv/146XTNYA2W |
|---|---|
| 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 Q75655, Pierre de Fermat (unknown). Also EoM Fermat,_Pierre_de, nLab Pierre de Fermat, ProofWiki Mathematician:Pierre_de_Fermat
History
- 2026-10-26: add by m2/dev
Feynman slash notation 14ACQFNHQH
| URI | m2://inv/14ACQFNHQH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2305761, Feynman slash notation (concept). Also nLab Feynman slash notation
History
- 2026-10-26: add by m2/dev
Alessandro Tomasiello 14BGDN6NNS
| URI | m2://inv/14BGDN6NNS |
|---|---|
| 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 Q59673253, Alessandro Tomasiello (unknown). Also nLab Alessandro Tomasiello
History
- 2026-10-26: add by m2/dev
proper class 14DG00MGJJ
| URI | m2://inv/14DG00MGJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11916410, proper class (definition). Also MathWorld ProperClass, ProofWiki Definition:Class_(Class_Theory)/Proper_Class
History
- 2026-10-26: add by m2/dev
A. A. Krishnaswami Ayyangar 14FH6A0JX8
| URI | m2://inv/14FH6A0JX8 |
|---|---|
| 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 Q4647478, A. A. Krishnaswami Ayyangar (unknown). Also ProofWiki Mathematician:A.A._Krishnaswami_Ayyangar
History
- 2026-10-26: add by m2/dev
intersection form 14GHB3Z709
| URI | m2://inv/14GHB3Z709 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6056717, intersection form (unknown). Also nLab intersection pairing
History
- 2026-10-26: add by m2/dev
Metrodorus 14NPVYZB7C
| URI | m2://inv/14NPVYZB7C |
|---|---|
| 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 Q6824823, Metrodorus (unknown). Also ProofWiki Mathematician:Metrodorus
History
- 2026-10-26: add by m2/dev
circle of latitude 14NZ3N4D3T
| URI | m2://inv/14NZ3N4D3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q146591, circle of latitude (definition). Also ProofWiki Definition:Parallel_of_Latitude
History
- 2026-10-26: add by m2/dev
Goodstein's theorem 14Q8NEZSKB
| URI | m2://inv/14Q8NEZSKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1149185, Goodstein's theorem (statement). Also Wikidata Q1149185
- mathlib_1000: mathlib_1000 Q1149185X, Kirby–Paris theorem (statement). Also Wikidata Q1149185
- thousand_plus: thousand_plus Q1149185, Goodstein's theorem (statement). Also Wikidata Q1149185, Wikipedia Goodstein's theorem
- thousand_plus: thousand_plus Q1149185X, Kirby–Paris theorem (statement). Also Wikidata Q1149185, Wikipedia Kirby–Paris theorem
- wikidata: Wikidata Q1149185, Goodstein's theorem (statement). Also MathWorld GoodsteinsTheorem
History
- 2026-10-26: add by m2/dev
Lisa Jeffrey 14XGTD9Y2S
| URI | m2://inv/14XGTD9Y2S |
|---|---|
| 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 Q6486338, Lisa Jeffrey (unknown). Also nLab Lisa Jeffrey
History
- 2026-10-26: add by m2/dev
Gomory's theorem 14XTHVFYSR
| URI | m2://inv/14XTHVFYSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2916568, Gomory's theorem (statement). Also Wikidata Q2916568
- thousand_plus: thousand_plus Q2916568, Gomory's theorem (statement). Also Wikidata Q2916568, Wikipedia Gomory's theorem
History
- 2026-10-26: add by m2/dev
argument of a function 14Z7GSAQZG
| URI | m2://inv/14Z7GSAQZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1027788, argument of a function (unknown). Also MathWorld Argument
History
- 2026-10-26: add by m2/dev
prolate cycloid 14Z9PP0JGW
| URI | m2://inv/14Z9PP0JGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78153395, prolate cycloid (unknown). Also MathWorld ProlateCycloid
History
- 2026-10-26: add by m2/dev