mathlib3
feat(data/polynomial/zcoeff): define zcoeff + API
#13240
Open

feat(data/polynomial/zcoeff): define zcoeff + API #13240

adomani wants to merge 2 commits into master from adomani_zcoeff
adomani
adomani zcoeff + API
ac52c1ab
adomani lint
9da7713c
adomani adomani added RFC
adomani adomani added awaiting-author
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone