Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-09 11:06 6670e661

View on Github →

feat(data/matrix): simp attributes on zero_mul and mul_zero (#1198)

Estimated changes

modified theorem matrix.mul_zero
modified theorem matrix.zero_mul