chore(analysis/normed_space/bounded_linear_maps): squeeze simps (#17368)
chore(analysis/normed_space/bounded_linear_maps): squeeze simps (#17368)





leanprover-community/mathlib,leanprover-community/mathlib