perf(analysis/inner_product_space/basic): speedups (#18018)
Speed up all 30 declaration with elaboration time > 10s (on my machine) mostly by squeezing simps, except
```
elaboration of abs_inner_div_norm_mul_norm_eq_one_iff took 13.1s
```
is not sped up because I couldn't find a good way.
