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