Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-24 15:32 5125f11a

View on Github →

feat(data/matrix): smul_val (#1262)

  • feat(data/matrix): smul_val
  • Update src/data/matrix.lean Co-Authored-By: Johan Commelin johan@commelin.net

Estimated changes

added theorem matrix.smul_val