Commit 2026-06-03 10:01 02ee8076
View on Github →chore(MvPolynomial): rename a lemma using prime (#39816)
This PR renames a lemma by adding a prime. Many other lemmas in (mv)polynomial theory also use a prime in their names for the same reason — their primed versions should be rewritten in the xxx_eq_ite form.