mathlib3

feat(algebra/module/polynomial): Modules over `R[X]`

#14666

Open