fix: expose Array.ofFn for kernel reduction - #14989

fix: expose Array.ofFn for kernel reduction#14989

kim-em wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

kim-em:expose-array-offnkim-em/lean4:expose-array-offnCopy head branch name to clipboard