Revision #2231 → #2436 · back to history
afa25a900730| Field | From #2231 | To #2436 |
|---|---|---|
| note | The Poincaré conjecture is only *stated* (as `proof_wanted` declarations) in Mathlib, with no proof. | The Poincaré conjecture is only *stated* (as `proof_wanted` declarations) in Mathlib, with no proof. (Mathlib declares this as `proof_wanted` — stated, not yet proven.) |
| provenance | ai | ai-moderated |
| status | partial | not_formalized |