PR #1262 feat(data/matrix): smul_val

feat(data/matrix): smul_val #1262

mergify merged 2 commits into master from ChrisHughes24-patch-3

feat(data/matrix): smul_val

dbabf16a

ChrisHughes24 requested a review 7 years ago

jcommelin commented on 2019-07-24

Update src/data/matrix.lean

2fde0881

jcommelin approved these changes on 2019-07-24

jcommelin added ready-to-merge

mergify merged 5125f11a into master 7 years ago

mergify deleted the ChrisHughes24-patch-3 branch 7 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone