feat: min(?)/max(?) for Array#11936

datokrat wants to merge 10 commits intomasterleanprover/lean4:masterfrom

paul/array-minDleanprover/lean4:paul/array-minDCopy head branch name to clipboard