Inventory rows SC
The cards of the rows of the inventory whose ids start with SC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Lipschitz continuity SC1AHXYQJW
| URI | m2://inv/SC1AHXYQJW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Metric spaces > Lipschitz continuity, Lipschitz continuity (unknown). Also Mathlib LipschitzWith
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > Lipschitz functions, Lipschitz functions (unknown). Also Mathlib LipschitzWith
History
- 2026-10-26: add by m2/dev
convolution SC530H9PJP
| URI | m2://inv/SC530H9PJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > convolution, convolution (unknown)
History
- 2026-10-26: add by m2/dev
subtended angle SC9ENDP2D0
| URI | m2://inv/SC9ENDP2D0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5671969, subtended angle (concept). Also MathWorld Subtend
History
- 2026-10-26: add by m2/dev
OR gate SCASYN1J46
| URI | m2://inv/SCASYN1J46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q560398, OR gate (unknown). Also MathWorld OR
History
- 2026-10-26: add by m2/dev
Brun's constant SCCDHRZXY8
| URI | m2://inv/SCCDHRZXY8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q850251, Brun's constant (object). Also MathWorld BrunsConstant, OEIS A065421, ProofWiki Definition:Brun's_Constant
History
- 2026-10-26: add by m2/dev
Optical theorem SCE2K41XHP
| URI | m2://inv/SCE2K41XHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1136262, Optical theorem (statement). Also Wikidata Q1136262
- thousand_plus: thousand_plus Q1136262, Optical theorem (statement). Also Wikidata Q1136262, Wikipedia Optical theorem
History
- 2026-10-26: add by m2/dev
relative frequency SCE7JAGF7H
| URI | m2://inv/SCE7JAGF7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5374249, relative frequency (unknown). Also MathWorld RelativeFrequency
History
- 2026-10-26: add by m2/dev
Acta Mathematica SCPFVJ5B9N
| URI | m2://inv/SCPFVJ5B9N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q343171, Acta Mathematica (unknown). Also ProofWiki Book:Journal/Acta_Mathematica
History
- 2026-10-26: add by m2/dev
nondegenerate forms SCPN7EVWGF
| URI | m2://inv/SCPN7EVWGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > nondegenerate forms, nondegenerate forms (unknown). Also Mathlib LinearMap.BilinForm.Nondegenerate
History
- 2026-10-26: add by m2/dev
Lah number SCQMJSK188
| URI | m2://inv/SCQMJSK188 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q451829, Lah number (object). Also MathWorld LahNumber, OEIS A105278
History
- 2026-10-26: add by m2/dev
self number SCSB6YWAT1
| URI | m2://inv/SCSB6YWAT1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2623827, self number (concept). Also MathWorld SelfNumber, OEIS A003052
History
- 2026-10-26: add by m2/dev
Gould's sequence SCYG83VQYP
| URI | m2://inv/SCYG83VQYP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28402870, Gould's sequence (object). Also OEIS A001316
History
- 2026-10-26: add by m2/dev
simplicial set SCYSHTJXWK
| URI | m2://inv/SCYSHTJXWK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1467124, simplicial set (unknown). Also nLab simplicial set
History
- 2026-10-26: add by m2/dev