Revision #2488 → #3140 · back to history
eaa54cd1a850| Field | From #2488 | To #3140 |
|---|---|---|
| note | Mathlib has no notion of parabola, focus, or directrix; grep for 'Parabola' in Mathlib/ returns no files. | Mathlib has no notion of parabola, focus, or directrix; grep for 'parabola' in Mathlib/ returns no files. |
65b5a487fed9| Field | From #2488 | To #3140 |
|---|---|---|
| note | Mathlib has no theory of conic sections (the only 'conic'/'cone' files concern convex cones and enriched category theory). | Mathlib has no theory of conic sections. |