feat: `congr_simp` as realizable constant#8474

leodemoura wants to merge 2 commits intomasterleanprover/lean4:masterfrom

grind_simp_stateleanprover/lean4:grind_simp_stateCopy head branch name to clipboard