affine_map): `line_map_injective` (#17735)

Commit

3 years ago

feat(linear_algebra/affine_space/affine_map): `line_map_injective` (#17735) Add a lemma suggested by @eric-wieser in #17685.

Author

jsm28

Parents