PR #1640 refactor(linear_algebra/basic): use smul_right

refactor(linear_algebra/basic): use smul_right #1640

mergify merged 4 commits into leanprover-community:master from sgouezel:smul_right

refactor(linear_algebra/basic): use smul_right

6d1de468

kim-em commented on 2019-10-31

Update src/linear_algebra/basic.lean

a3d05682

Update src/linear_algebra/basic.lean

c16e9619

robertylewis approved these changes on 2019-11-01

robertylewis added ready-to-merge

Merge branch 'master' into smul_right

d093481e

mergify merged 9af7e5b5 into master 6 years ago

sgouezel deleted the smul_right branch 6 years ago

Reviewers

robertylewis

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone