perf: run isDefEqOnFailure only once per failing isDefEq#14351

datokrat wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

datokrat:paul/less-onFailuredatokrat/lean4:paul/less-onFailureCopy head branch name to clipboard