[Merged by Bors] - feat(Topology/Algebra/InfiniteSum): use NormMulClass#28756

loefflerd wants to merge 2 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

loefflerd:DL_norm_tprodloefflerd/mathlib4:DL_norm_tprodCopy head branch name to clipboard