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