Опубликованный пакет / CLIR
mathlib.zeta
v0.1.0Mathlib.NumberTheory.LSeries.RiemannZeta
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| Mathlib.NumberTheory.LSeries.RiemannZeta | mathlib4@de5ce8a9a66a4aa68a9bdbb35b63a06d34d9ca11:Mathlib/NumberTheory/LSeries/RiemannZeta.lean | 1 | 6 |