mathlib

3fc0b254 - chore(analysis/inner_product_space): rename `_sym` to `_symm` (#18580)

chore(analysis/inner_product_space): rename `_sym` to `_symm` (#18580) This is the preferred spelling of `symmetric` in mathlib. `sym` refers to the type of unordered pairs.