Commit 2023-03-14 13:51 af8f9bc2
View on Github →chore(analysis/inner_product_space/basic): make arguments explicit (#18579) This applies the 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.