Published package / CLIR
metamath.set_mm_core
v0.1.0Metamath set.mm: аксиомы ZFC, исчисление высказываний и логика предикатов — закреплённые утверждения
metamath.set_mm_core
| Edition | Language | Events | Materialisation |
|---|---|---|---|
| Import_Edition_6774aa7a2ac0fc8c6ace3aaf14b7cf12a4bd3267395dc7c62d6733213d0d2174 | 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.