Revision #974 → #2435 · back to history
a3e696307354| Field | From #974 | To #2435 |
|---|---|---|
| note | Mathlib only declares Milnor's exotic 7-sphere as a `proof_wanted` statement, not a proven theorem. | Mathlib only declares Milnor's exotic 7-sphere as a `proof_wanted` statement, not a proven theorem. (Mathlib declares this as `proof_wanted` — stated, not yet proven.) |
| provenance | ai | ai-moderated |
| status | partial | not_formalized |