basic): reflection lemmas (#4056)

Commit

5 years ago

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

References

Author

jsm28

Parents