mathlib3
feat(*): add nat.antidiagonal and use it for polynomial.mul_coeff
#1237
Merged
Merged
feat(*): add nat.antidiagonal and use it for polynomial.mul_coeff #1237
mergify
merged
2 commits into
master
from
nat-antidiag
feat(*): add nat.antidiagonal and use it for polynomial.mul_coeff
c30ce70c
ChrisHughes24
approved these changes
on 2019-07-17
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into nat-antidiag
1310bce4
Login to write a write a comment.
Login via GitHub