Опубликованный пакет / CLIR
mathlib.zeta
v0.1.0Mathlib.NumberTheory.LSeries.RiemannZeta
Mathlib.NumberTheory.LSeries.RiemannZeta
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| MATHLIB_ZETA_LEAN_EDITION | en | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.