fix(GRewrite): preserve binder names in a forall#41620

JovanGerb wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

JovanGerb:Jovan-grw-binder_names-forallJovanGerb/mathlib4:Jovan-grw-binder_names-forallCopy head branch name to clipboard