Published package / CLIR
arxo.metamath_dependencies
v0.1.0Зависимости доказательств Metamath: depends_on транзитивно и uses_axiom
| Work | Number | Editions | Fragments |
|---|---|---|---|
| arxo.metamath_dependencies | sha256:e51d1b0375eda65630235827afcbc620cc3324cf7cfdbf2c4b2676c0d8aec146 | 1 | 3 |