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.
feat(geometry/euclidean/basic): reflection lemmas (#4056) Add more lemmas about reflections of points in subspaces.