PR #1216 feat(data/mv_polynomial): coeff_mul

feat(data/mv_polynomial): coeff_mul #1216

mergify merged 13 commits into master from coeff-mul

feat(data/mv_polynomial): coeff_mul

5320382a

jcommelin requested a review 6 years ago

ChrisHughes24 commented on 2019-07-13

refactor(data/multiset): rename diagonal to antidiagonal

b412fe6d

Merge remote-tracking branch 'origin/antidiagonal' into coeff-mul

f609a7d3

Rename diagonal to antidiagonal

c28bd0b6

Define antidiagonal as to_finsupp instead of to_finset

20a617e4

Add docstrings

d086f464

Merge branch 'antidiagonal' into coeff-mul

c2fb6a86

Merge branch 'master' into antidiagonal

1fa59a1a

ChrisHughes24 approved these changes on 2019-07-16

ChrisHughes24 added ready-to-merge

Merge branch 'master' into coeff-mul

6ac36d2b

fix build

fde22668

Fix build

16ce159a

Merge branch 'antidiagonal' into coeff-mul

f554a935

Merge branch 'coeff-mul' of github.com:leanprover-community/mathlib i…

a181286d

mergify merged e186fbb7 into master 6 years ago

mergify deleted the coeff-mul branch 6 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone