KLN
📁 Source: PrimeNumberTheoremAnd/KLN.lean
Statistics
| Metric | Count |
|---|---|
| 35 | |
| Theorems | 0 |
| Total | 35 |
KLN
Definitions
| Name | Category | Theorems |
|---|---|---|
CC₁ 📖 | CompOp | |
CC₂ 📖 | CompOp | |
C₁ 📖 | CompOp | — |
C₂ 📖 | CompOp | — |
C₃ 📖 | CompOp | — |
C₄ 📖 | CompOp | — |
C₅ 📖 | CompOp | — |
C₆ 📖 | CompOp | — |
C₇ 📖 | CompOp | — |
C₈ 📖 | CompOp | — |
I 📖 | CompOp | — |
J 📖 | CompOp | — |
K 📖 | CompOp | — |
M 📖 | CompOp | — |
U 📖 | CompOp | — |
V 📖 | CompOp | — |
a₁ 📖 | CompOp | — |
a₂ 📖 | CompOp | — |
a₃ 📖 | CompOp | — |
b₁ 📖 | CompOp | — |
b₁₀ 📖 | CompOp | — |
b₁₁ 📖 | CompOp | — |
b₁₂ 📖 | CompOp | — |
b₂ 📖 | CompOp | — |
b₃ 📖 | CompOp | — |
b₄ 📖 | CompOp | — |
b₅ 📖 | CompOp | — |
b₆ 📖 | CompOp | — |
b₇ 📖 | CompOp | — |
b₈ 📖 | CompOp | — |
b₉ 📖 | CompOp | — |
m₀ 📖 | CompOp | — |
β 📖 | CompOp | — |
σ₂ 📖 | CompOp | — |
ω₁ 📖 | CompOp | — |
---