mathlib

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