fix: expose Array equality for kernel reduction - #14270

fix: expose Array equality for kernel reduction#14270

kim-em wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

kim-em:expose-array-instdecidableeqimplkim-em/lean4:expose-array-instdecidableeqimplCopy head branch name to clipboard