WIP#37002

fbarroero wants to merge 11 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

fbarroero:fbarroero_intMinpolyfbarroero/mathlib4:fbarroero_intMinpolyCopy head branch name to clipboard