chore(analysis/normed_space/basic): use explicit arg 𝕜' in lemmas about normed_algebra (#6009)
𝕜'
normed_algebra