chore(algebra/module/basic): use `simp` instead of `norm_num` (#15670)
chore(algebra/module/basic): use `simp` instead of `norm_num` (#15670)






leanprover-community/mathlib,leanprover-community/mathlib