mathlib
ba2ccf27 - minpoly

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

minpoly

References

#15047 - feat(data/matrix/companion): Companion matrix

Author

pbazin

pbazin

Parents

FAQ Terms Privacy Refunds Impressum

Loading