Опубликованный пакет / CLIR
mathlib.order
v0.1.0Правила порядка mathlib: транзитивность, ослабление и иерархия структур при явной интерпретации
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| mathlib.order | sha256:37a4a1585b83e01fd4b3ad85e8b4d5a7748f38d80960568f9f2c8fba45774d2e | 1 | 3 |
| mathlib.order | sha256:37a4a1585b83e01fd4b3ad85e8b4d5a7748f38d80960568f9f2c8fba45774d2e | 1 | 1 |
| mathlib.order | sha256:37a4a1585b83e01fd4b3ad85e8b4d5a7748f38d80960568f9f2c8fba45774d2e | 1 | 5 |