mathlib3
9ef7f6bd - feat(linear_algebra/orientation): `eq_neg_iff_eq_neg` (#11629)

Commit

3 years ago

feat(linear_algebra/orientation): `eq_neg_iff_eq_neg` (#11629) Add two more `module.ray` lemmas about negation.

Author

jsm28

Parents