mathlib3

refactor(analysis/normed/group/basic): unbundle algebra from norm structure

#18462

Open