Inventory rows KH
The cards of the rows of the inventory whose ids start with KH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Euler's homogeneous function theorem KH1VN096Z9
| URI | m2://inv/KH1VN096Z9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q25378679, Euler's theorem on homogeneous functions (statement). Also Mathlib HasFDerivAt.apply_self_eq_smul_of_eventuallyEq, Mathlib HasFDerivAt.apply_self_eq_smul_of_homogeneous, Mathlib HasFDerivAt.apply_self_eq_nsmul_of_homogeneous, Wikidata Q25378679
- wikidata: Wikidata Q25378679, Euler's homogeneous function theorem (concept). Also MathWorld EulersHomogeneousFunctionTheorem
History
- 2026-10-26: add by m2/dev
Andrew Putman KH30TS85V8
| URI | m2://inv/KH30TS85V8 |
|---|---|
| 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 Q52004698, Andrew Putman (unknown). Also nLab Andrew Putman
History
- 2026-10-26: add by m2/dev
alternating group graph KH32F9NSBZ
| URI | m2://inv/KH32F9NSBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122897702, alternating group graph (unknown). Also MathWorld AlternatingGroupGraph
History
- 2026-10-26: add by m2/dev
mathematics of paper folding KH63PGMPPG
| URI | m2://inv/KH63PGMPPG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3299105, mathematics of paper folding (unknown). Also MathWorld Origami
History
- 2026-10-26: add by m2/dev
coincident KH6YV1QZ0R
| URI | m2://inv/KH6YV1QZ0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5141584, coincident (unknown). Also MathWorld Coincident
History
- 2026-10-26: add by m2/dev
sharp map KH97HNGCZB
| URI | m2://inv/KH97HNGCZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7490358, sharp map (unknown). Also nLab sharp map
History
- 2026-10-26: add by m2/dev
limit of a sequence KH9EY8G6YZ
| URI | m2://inv/KH9EY8G6YZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Limit of a sequence 05M5SWSZZD |
Mentions
- wikidata: Wikidata Q847204, limit of a sequence (definition). Also ProofWiki Definition:Limit_of_Sequence
History
- 2026-10-26: add by m2/dev
hexavigesimal KH9TVKEY5E
| URI | m2://inv/KH9TVKEY5E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5748954, hexavigesimal (unknown). Also MathWorld Hexavigesimal
History
- 2026-10-26: add by m2/dev
Hurwitz's theorem KHAX2SK40F
| URI | m2://inv/KHAX2SK40F |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | Hurwitz's theorem 0SSKBQN58M |
Mentions
- mathlib_1000: mathlib_1000 Q1136043, Hurwitz's theorem (complex analysis) (statement). Also Wikidata Q1136043
- thousand_plus: thousand_plus Q1136043, Hurwitz's theorem (statement). Also Wikidata Q1136043, Wikipedia Hurwitz's theorem (complex analysis)
- wikidata: Wikidata Q1136043, Hurwitz's theorem (statement). Also MathWorld HurwitzsRootTheorem
History
- 2026-10-26: add by m2/dev
Zvi Bern KHFGNXG5TQ
| URI | m2://inv/KHFGNXG5TQ |
|---|---|
| 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 Q15855856, Zvi Bern (unknown). Also nLab Zvi Bern
History
- 2026-10-26: add by m2/dev
K-matrix KHM159V1BX
| URI | m2://inv/KHM159V1BX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110571086, K-matrix (concept). Also MathWorld k-Matrix
History
- 2026-10-26: add by m2/dev
icosahedral number KHNGGAF8RB
| URI | m2://inv/KHNGGAF8RB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13823786, icosahedral number (object). Also OEIS A006564
History
- 2026-10-26: add by m2/dev
Anger function KHPMKWAGQH
| URI | m2://inv/KHPMKWAGQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754606, Anger function (unknown). Also EoM Anger_function, MathWorld AngerFunction
History
- 2026-10-26: add by m2/dev
Peter Scholze KHPXR9PGNW
| URI | m2://inv/KHPXR9PGNW |
|---|---|
| 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 Q98034, Peter Scholze (unknown). Also nLab Peter Scholze
History
- 2026-10-26: add by m2/dev
projection formula KHRG2DF3BZ
| URI | m2://inv/KHRG2DF3BZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7249450, projection formula (unknown). Also nLab projection formula
History
- 2026-10-26: add by m2/dev
sulfur-34 KHRY6HFGJ9
| URI | m2://inv/KHRY6HFGJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1880449, sulfur-34 (definition). Also ProofWiki Definition:Sulphur/34
History
- 2026-10-26: add by m2/dev
polynomial function KHS3VSZQH9
| URI | m2://inv/KHS3VSZQH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1244652, polynomial function (unknown). Also MathWorld PolynomialFunction
History
- 2026-10-26: add by m2/dev
Cantor's intersection theorem KHS5VGJDGP
| URI | m2://inv/KHS5VGJDGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1050203, Cantor's intersection theorem (statement). Also Mathlib IsCompact.nonempty_sInter_of_directed_nonempty_isCompact_isClosed, Wikidata Q1050203
- thousand_plus: thousand_plus Q1050203, Cantor's intersection theorem (statement). Also Mathlib IsCompact.nonempty_sInter_of_directed_nonempty_isCompact_isClosed, Wikidata Q1050203, Wikipedia Cantor's intersection theorem
History
- 2026-10-26: add by m2/dev
prime constant KHWA9NWCS6
| URI | m2://inv/KHWA9NWCS6 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7243365, prime constant (object). Also MathWorld PrimeConstant
History
- 2026-10-26: add by m2/dev
Ward–Takahashi identity KHWREJS34B
| URI | m2://inv/KHWREJS34B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q353202, Ward–Takahashi identity (unknown). Also nLab Ward identity
History
- 2026-10-26: add by m2/dev
Baker–Campbell–Hausdorff formula KHWTAZJ2RA
| URI | m2://inv/KHWTAZJ2RA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q804316, Baker–Campbell–Hausdorff formula (statement). Also EoM Campbell–Hausdorff_formula, nLab Hausdorff series
History
- 2026-10-26: add by m2/dev
Skorokhod's representation theorem KHY9CDPP98
| URI | m2://inv/KHY9CDPP98 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q401905, Skorokhod's representation theorem (statement). Also Wikidata Q401905
- thousand_plus: thousand_plus Q401905, Skorokhod's representation theorem (statement). Also Wikidata Q401905, Wikipedia Skorokhod's representation theorem
History
- 2026-10-26: add by m2/dev
Francesco Faà di Bruno KHZPHT67X8
| URI | m2://inv/KHZPHT67X8 |
|---|---|
| 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 Q604679, Francesco Faà di Bruno (unknown). Also ProofWiki Mathematician:Francesco_Faà_di_Bruno
History
- 2026-10-26: add by m2/dev