Revision #3344 → #4105 · back to history
f038a6add0cb76f525210db3eb709e2b457f| Field | From #3344 | To #4105 |
|---|---|---|
| note | The global convexity of the linear least-squares objective is not stated as such in Mathlib. | The global convexity of the linear least-squares objective is not stated as such in Mathlib. (Wikipedia says 'concave' but the least-squares objective is convex; kept as anchored.) |
b6e617de08291ab4478cd3e4