mathlib
5b1008c0 - Update `minimal_polynomial` -> `minpoly`

Commit
4 years ago
Update `minimal_polynomial` -> `minpoly`
Author
Parents
Loading