Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-24 10:02 9ef7f6bd

View on Github →

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

Estimated changes