A new taginfinite-matrix was created by Gottfried Helms. But there already exists the infinite-matrices tag. Synonym? Or simply remove the newly created one?
@B.Mehta Both tags - norm and normed-spaces - are rather large. Personally, I do not think that such substantial change should be made without discussing it on meta first.
@B.Mehta Well, there is Tag management 2018. (Although if change is rather substantial or there is a lot of discussion, maybe the suggestion should deserve a separate posts...)