Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-22 14:04 a971a88f

View on Github →

refactor(linear_algebra/nonsingular_inverse, data/matrix/basic): update_* rectangular matrices (#3403)

Estimated changes