Published package / CLIR
rocq.order
v0.1.0Правила порядка Rocq над ℚ: строгая транзитивность, смешанный шаг и ослабление
| Work | Number | Editions | Fragments |
|---|---|---|---|
| rocq | 9.2 | 1 | 3 |
Published package / CLIR
rocq.orderПравила порядка Rocq над ℚ: строгая транзитивность, смешанный шаг и ослабление
| Work | Number | Editions | Fragments |
|---|---|---|---|
| rocq | 9.2 | 1 | 3 |