Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-20 11:48 7389a6b1

View on Github →

feat(linear_algebra/matrix/to_lin): simp lemmas for to_matrix and algebra (#9267)

Estimated changes