fix: kernel error from simp results cached with a proof that has free variables - #14965

fix: kernel error from simp results cached with a proof that has free variables#14965

nomeata wants to merge 1 commit into

masterleanprover/lean4:masterfrom

joachim/issue14961leanprover/lean4:joachim/issue14961Copy head branch name to clipboard