Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-08 12:40 4f1399de

View on Github →

feat(geometry/euclidean/basic): reflection lemmas (#4056) Add more lemmas about reflections of points in subspaces.

Estimated changes