Revision #1151 → #2440 · back to history
b2396e62a856| Field | From #1151 | To #2440 |
|---|---|---|
| note | The existence of an exotic 7-sphere is stated as a `proof_wanted` in `Mathlib.Geometry.Manifold.PoincareConjecture`; the proof is not formalized. | The existence of an exotic 7-sphere is stated as a `proof_wanted` in `Mathlib.Geometry.Manifold.PoincareConjecture`; the proof is not formalized. (Mathlib declares this as `proof_wanted` — stated, not yet proven.) |
| provenance | ai | ai-moderated |
| status | partial | not_formalized |