Commit 2025-09-01 21:59 3a941a8f

refactor: correct names of Zsqrtd lemmas (#29191) This renames lemmas of the form (foo x).re to be called re_foo instead of foo_re, and similarly for im, to match the naming guide. These are then all deprecated with the deprecation script.