Published package / CLIR
rocq.order
v0.1.0Правила порядка Rocq над ℚ: строгая транзитивность, смешанный шаг и ослабление
rocq
| Edition | Language | Events | Materialisation |
|---|---|---|---|
| Import_Edition_6ed19e2eff811757d626083656cd1ce8132c17ab1851fd314c8496f5b2f79df0 | en | no | PINNED_OFFICIAL_BYTES |
There are no revisions within one language: each language edition of this work has a single version, and there is nothing to compare.
Replacement of the act
Not measured: no-edition-boundary.