mathlib

dc8113b0 - feat(linear_algebra/ray): `same_ray_map_iff` for injective linear maps (#16377)

feat(linear_algebra/ray): `same_ray_map_iff` for injective linear maps (#16377) Add a stronger version of `same_ray_map_iff`, for any injective linear map rather than just a linear equivalence.