Опубликованный пакет / CLIR
mathlib.divisibility
v0.1.0Правила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретации
| Версия | contentHash | Размер |
|---|---|---|
| 0.1.0 | sha256:3e4589fc5fab… | 39 KB |
Версия одна: корпус пока не публиковал вторую редакцию ни одного пакета. Список остаётся списком намеренно — колонки «дата публикации» здесь не будет, время в артефакты не попадает.