feat(analysis/normed_space/multilinear): a few more bundled (bi)linear maps (#6546)
feat(analysis/normed_space/multilinear): a few more bundled (bi)linear maps (#6546)






leanprover-community/mathlib,leanprover-community/mathlib