[#14369] perf: normalize free variables in the type class resolution cache key - #15

[#14369] perf: normalize free variables in the type class resolution cache key#15

downstream-lean4[bot] wants to merge 10 commits into

masterleanprover/downstream-lean4:masterfrom

adaptation-14369leanprover/downstream-lean4:adaptation-14369Copy head branch name to clipboard