# Commit 2021-01-17 00:33 a2630fc3

View on Github →chore(field_theory|ring_theory|linear_algebra): rename minimal_polynomial to minpoly (#5771) This PR renames:

`minimal_polynomial`

->`minpoly`

- a similar substitution throughout the library for all names containing the substring
`minimal_polynomial`

`fixed_points.minpoly.minimal_polynomial`

->`fixed_points.minpoly_eq_minpoly`

This PR moves a file: src/field_theory/minimal_polynomial.lean -> src/field_theory/minpoly.lean