Def lin_equiv_matrix'
Modification history
2019-11-08 11:03
src/linear_algebra/matrix.lean
doc(linear_algebra): rename lin_equiv to linear_equiv (#1660)
Deleted lin_equiv_matrix'View on Github →2019-10-10 11:14
src/linear_algebra/matrix.lean
chore(linear_algebra): rename type variables (#1521) …
Modified lin_equiv_matrix'View on Github →