Опубликованный пакет / CLIR
metamath.set_mm_core
v0.1.0Metamath set.mm: аксиомы ZFC, исчисление высказываний и логика предикатов — закреплённые утверждения
metamath.set_mm_core
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Import_Edition_6774aa7a2ac0fc8c6ace3aaf14b7cf12a4bd3267395dc7c62d6733213d0d2174 | en | нет | PINNED_UNOFFICIAL_COPY |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.