Inventory rows 88
The cards of the rows of the inventory whose ids start with 88. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
exact category 880M0RGJSP
| URI | m2://inv/880M0RGJSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5419218, exact category (unknown). Also nLab exact category
History
- 2026-10-26: add by m2/dev
permutation group of a type 8816QZGZ90
| URI | m2://inv/8816QZGZ90 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > permutation group of a type, permutation group of a type (unknown). Also Mathlib Equiv.Perm
- mathlib_undergrad: mathlib_undergrad Group Theory > Permutation group > permutation group of a type, permutation group of a type (unknown). Also Mathlib Equiv.Perm
History
- 2026-10-26: add by m2/dev
product of vector spaces 889YSB2XEX
| URI | m2://inv/889YSB2XEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > product of vector spaces, product of vector spaces (unknown). Also Mathlib Prod.instModule
History
- 2026-10-26: add by m2/dev
renormalization 88A3TB4CQE
| URI | m2://inv/88A3TB4CQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1047702, renormalization (unknown). Also nLab renormalization
History
- 2026-10-26: add by m2/dev
David Gross 88MGC7Y7CM
| URI | m2://inv/88MGC7Y7CM |
|---|---|
| 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 Q40262, David Gross (unknown). Also nLab David Gross
History
- 2026-10-26: add by m2/dev
multiplicative number theory 88PV4ZJC9P
| URI | m2://inv/88PV4ZJC9P |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11Nxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6935001, multiplicative number theory (topic)
History
- 2026-10-26: add by m2/dev
Hahn–Banach theorem 88WHNVG41H
| URI | m2://inv/88WHNVG41H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q866116, Hahn–Banach theorem (statement). Also Mathlib exists_extension_norm_eq, Wikidata Q866116
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > Hahn-Banach theorem, Hahn-Banach theorem (unknown). Also Mathlib exists_extension_norm_eq
- thousand_plus: thousand_plus Q866116, Hahn–Banach theorem (statement). Also Mathlib exists_extension_norm_eq, Wikidata Q866116, Wikipedia Hahn–Banach theorem
- wikidata: Wikidata Q866116, Hahn–Banach theorem (statement). Also EoM Hahn-Banach_theorem, Mathlib exists_extension_norm_eq, MathWorld Hahn-BanachTheorem
History
- 2026-10-26: add by m2/dev
infinite product 88WR4WPAZX
| URI | m2://inv/88WR4WPAZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2266843, infinite product (unknown). Also LMFDB knowl mf.gl2.history.infinite, MathWorld InfiniteProduct, nLab infinite product
History
- 2026-10-26: add by m2/dev