perf: cache inside matcher WHNFs at reducible/instances/implicit#14323

datokrat wants to merge 3 commits into

leanprover:masterleanprover/lean4:masterfrom

datokrat:paul/cache-canUnfolddatokrat/lean4:paul/cache-canUnfoldCopy head branch name to clipboard