Опубликованный пакет / CLIR
rocq.order
v0.1.0Правила порядка Rocq над ℚ: строгая транзитивность, смешанный шаг и ослабление
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| rocq | 9.2 | 1 | 3 |
Опубликованный пакет / CLIR
rocq.orderПравила порядка Rocq над ℚ: строгая транзитивность, смешанный шаг и ослабление
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| rocq | 9.2 | 1 | 3 |