mathlib3

refactor(*): move `algebra` below `polynomial` in the `import` chain

#2294

Merged