Опубликованный пакет / CLIR
arxo.divisibility
v0.1.0Делимость: носитель с ассоциативной операцией, полугруппа и моноид, отношение «делит»; авторский контракт интерпретации
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| Авторский контракт интерпретации делимости Arxo | 0.1.0 | 1 | 1 |