Revision #3139 → #3637 · back to history
2d8ed3d6cce5| Field | From #3139 | To #3637 |
|---|---|---|
| note | Thurston's eight 3-dimensional geometries (geometrization) are not formalized in Mathlib. | Thurston's eight 3-dimensional model geometries (geometrization) are not formalized in Mathlib. |