mathlib3
feat(data/polynomial/zcoeff): define zcoeff + API
#13240
Open
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
2
Changes
View On
GitHub
feat(data/polynomial/zcoeff): define zcoeff + API
#13240
adomani
wants to merge 2 commits into
master
from
adomani_zcoeff
zcoeff + API
ac52c1ab
lint
9da7713c
adomani
added
RFC
adomani
added
awaiting-author
kim-em
added
too-late
Login to write a write a comment.
Login via GitHub
Reviewers
No reviews
Assignees
No one assigned
Labels
RFC
awaiting-author
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub