Опубликованный пакет / CLIR
arxo.poincare
v0.1.0Композиция набора «Poincare conjecture»: poincare_conjecture_established из ЧЕТЫРЁХ оснований разом (Hamilton + три работы Перельмана), применение теоремы к предъявленному многообразию, proof_assistant_verified объявлено и никогда не устанавливается
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| Авторский контракт композиции «Poincare conjecture» Arxo | 0.1.0 | 1 | 1 |