mathlib3

37879aa6 - feat(undergrad): minimal polynomial (#4308)

feat(undergrad): minimal polynomial (#4308) Adds minimal polynomial of endomorphisms to the undergrad list, although its use will be hard to guess for undergrads.