mathlib3

2a59dffe - chore(algebra/module): generalize `char_zero.of_algebra` to `char_zero.of_module` (#10609)