fix: use withFreshZetaDeltaFVarIds to avoid leaking zetaDeltaFVarIds between different simp calls#7539
Closed
JovanGerb wants to merge 3 commits intoleanprover:masterfrom
Closed
fix: use `withFreshZetaDeltaFVarIds` to avoid leaking `zetaDeltaFVarIds` between different `simp` calls#7539JovanGerb wants to merge 3 commits intoleanprover:masterfrom
JovanGerb wants to merge 3 commits intoleanprover:masterfrom
