Theorem matrix.mul_to_lin
Modification history
2020-10-05 11:38
src/linear_algebra/matrix.lean
refactor(linear_algebra/matrix): consistent naming (#4345) …
Deleted matrix.mul_to_linView on Github →2020-04-07 03:42
src/linear_algebra/matrix.lean
chore(algebra/big_operators): drop some `decidable_eq` assumptions (#2332) …
Modified matrix.mul_to_linView on Github →