Theorem to_matrix_to_lin
Modification history
2020-10-05 11:38
src/linear_algebra/matrix.lean
refactor(linear_algebra/matrix): consistent naming (#4345) …
Deleted to_matrix_to_linView on Github →2019-10-10 11:14
src/linear_algebra/matrix.lean
chore(linear_algebra): rename type variables (#1521) …
Modified to_matrix_to_linView on Github →