Опубликованный пакет / CLIR
arxo.metamath_dependencies
v0.1.0Зависимости доказательств Metamath: depends_on транзитивно и uses_axiom
arxo.metamath_dependencies
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Import_Edition_1900eab6c028483d7126599ee6f50de0d27907b5c65fa90524580b4b0f9852b0 | en | нет | PINNED_UNOFFICIAL_COPY |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.