mathlib

af8f9bc2 - chore(analysis/inner_product_space/basic): make arguments explicit (#18579)

chore(analysis/inner_product_space/basic): make arguments explicit (#18579) This applies the regex ```regex \{(x[^}]+)\}(?![^\n]*↔)(?=[^\n]* =) ``` and replaces it with `($1)` in appropriate places. The heuristic is "equalities should take their arguments explicitly". Underscores are then inserted as necessary to fix the build.