Theorem matrix.zero_mul
Modification history
2019-08-06 15:58
src/data/matrix.lean
chore(data/matrix): protect some lemmas (#1304)
Deleted matrix.zero_mulView on Github →2019-07-09 11:06
src/data/matrix.lean
feat(data/matrix): simp attributes on zero_mul and mul_zero (#1198)
Modified matrix.zero_mulView on Github →