Published package / CLIR
arxo.metamath_dependencies
v0.1.0Зависимости доказательств Metamath: depends_on транзитивно и uses_axiom
arxo.metamath_dependencies
| Edition | Language | Events | Materialisation |
|---|---|---|---|
| Import_Edition_1900eab6c028483d7126599ee6f50de0d27907b5c65fa90524580b4b0f9852b0 | en | no | PINNED_UNOFFICIAL_COPY |
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.