Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-30 13:42 ca95e36a

View on Github →

chore(linear_algebra/basic): golf a lemma statement (#17752)

Estimated changes