basic): more direction lemmas (#3867)

Commit

5 years ago

feat(linear_algebra/affine_space/basic): more direction lemmas (#3867) Add a few more lemmas about the directions of affine subspaces.

References

Author

jsm28

Parents