Опубликованный пакет / CLIR
arxo.poincare
v0.1.0Композиция набора «Poincare conjecture»: poincare_conjecture_established из ЧЕТЫРЁХ оснований разом (Hamilton + три работы Перельмана), применение теоремы к предъявленному многообразию, proof_assistant_verified объявлено и никогда не устанавливается
Авторский контракт композиции «Poincare conjecture» Arxo
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| ARXO_POINCARE_EDITION | ru | нет | PINNED_UNOFFICIAL_COPY |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.