Revision #2434 → #2441 · back to history
03c4b821ba50| Field | From #2434 | To #2441 |
|---|---|---|
| note | The 3-dimensional Poincaré conjecture statement is formalized but only as a `proof_wanted` declaration with no proof in Mathlib. | The 3-dimensional Poincaré conjecture statement is formalized but only as a `proof_wanted` declaration with no proof in Mathlib. (Mathlib declares this as `proof_wanted` — stated, not yet proven.) |
| provenance | ai | ai-moderated |
| status | partial | not_formalized |