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

Commit

6 years ago

feat(data/matrix): smul_val (#1262) * feat(data/matrix): smul_val * Update src/data/matrix.lean Co-Authored-By: Johan Commelin <johan@commelin.net>