Inventory rows CK
The cards of the rows of the inventory whose ids start with CK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bernoulli numbers CK2QFWN7VQ
| URI | m2://inv/CK2QFWN7VQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Number theory > Bernoulli numbers, Bernoulli numbers (unknown). Also Mathlib bernoulli
History
- 2026-10-26: add by m2/dev
freshman's dream CK347K4N9V
| URI | m2://inv/CK347K4N9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Freshman's dream 0396VGFA78 |
Mentions
- wikidata: Wikidata Q4120528, freshman's dream (unknown). Also nLab freshman's dream
History
- 2026-10-26: add by m2/dev
categorical algebra CK3S5Z9K6W
| URI | m2://inv/CK3S5Z9K6W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39045406, categorical algebra (topic). Also nLab categorical algebra
History
- 2026-10-26: add by m2/dev
compact symplectic group CK3YZB7JPT
| URI | m2://inv/CK3YZB7JPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78484790, compact symplectic group (unknown). Also nLab compact symplectic group
History
- 2026-10-26: add by m2/dev
Venn diagram CK4ZHXXATM
| URI | m2://inv/CK4ZHXXATM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Venn diagram 0KCT6DPXJK |
Mentions
- wikidata: Wikidata Q190763, Venn diagram (unknown). Also MathWorld VennDiagram
History
- 2026-10-26: add by m2/dev
complex projective space CK6BBCCHXR
| URI | m2://inv/CK6BBCCHXR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2538404, complex projective space (unknown). Also MathWorld ComplexProjectiveSpace, nLab complex projective space
History
- 2026-10-26: add by m2/dev
inverse function theorem CK9Y1KFW2J
| URI | m2://inv/CK9Y1KFW2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > inverse function theorem, inverse function theorem (unknown). Also Mathlib HasStrictDerivAt.to_localInverse
History
- 2026-10-26: add by m2/dev
Grothendieck group CKBBMWWJ6R
| URI | m2://inv/CKBBMWWJ6R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1128678, Grothendieck group (concept). Also EoM Grothendieck_group, nLab Grothendieck group
History
- 2026-10-26: add by m2/dev
antipedal triangle CKP779SXB4
| URI | m2://inv/CKP779SXB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13429884, antipedal triangle (unknown). Also MathWorld AntipedalTriangle
History
- 2026-10-26: add by m2/dev
rook polynomial CKYPTQFYXZ
| URI | m2://inv/CKYPTQFYXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12594240, rook polynomial (unknown). Also MathWorld RookPolynomial
History
- 2026-10-26: add by m2/dev