fix: expose Array.ofFn for kernel reduction #22130
Triggered via pull request
September 1, 2026 14:17
leanprover-bot
leanprover-bot
labeled
#14989
Status
Skipped
Total duration
10s
Artifacts
–