Опубликованный пакет / CLIR
mathlib.divisibility
v0.1.0Правила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретации
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| mathlib.divisibility | sha256:ee960c38fa27843a12c9542941d5eccb42b42f00199da6af89ee17cbf5bee54c | 1 | 2 |
| mathlib.divisibility | sha256:ee960c38fa27843a12c9542941d5eccb42b42f00199da6af89ee17cbf5bee54c | 1 | 4 |
| mathlib.divisibility | sha256:ee960c38fa27843a12c9542941d5eccb42b42f00199da6af89ee17cbf5bee54c | 1 | 1 |