Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-08 11:03 3223ba7f

View on Github →

doc(linear_algebra): rename lin_equiv to linear_equiv (#1660)

Estimated changes

Modified src/linear_algebra/basic.lean

Modified src/linear_algebra/matrix.lean

deleted def lin_equiv_matrix'

deleted def lin_equiv_matrix

added def linear_equiv_matrix'

added def linear_equiv_matrix