mathlib3
9da7713c - lint

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

lint

References

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

Author

adomani

adomani

Parents

FAQ Terms Privacy Refunds Impressum

Loading