Опубликованный пакет / CLIR
mathlib.order
v0.1.0Правила порядка mathlib: транзитивность, ослабление и иерархия структур при явной интерпретации
mathlib.order
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Import_Edition_287aaacefdd9ec45f2cbdbff6927faf3b376c817c34afd744c76b912153f6da0 | en | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
mathlib.order
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Import_Edition_729ad6ebc9855d9867d8e0ed21084d915cfb78a701831a8ba80c645a9f400818 | en | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
mathlib.order
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Import_Edition_9a221bc7dc5d8b5fbc95126a193a2925bcd5260e9bcf5dca79d1cbe51fc33874 | en | нет | PINNED_UNOFFICIAL_COPY |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.