feat(linear_algebra/orientation): `eq_neg_iff_eq_neg` (#11629)
feat(linear_algebra/orientation): `eq_neg_iff_eq_neg` (#11629)

Add two more `module.ray` lemmas about negation.







leanprover-community/mathlib,leanprover-community/mathlib