perf: derive array capacity from mi_usable_size - #14979

perf: derive array capacity from mi_usable_size#14979

TwoFX wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

TwoFX:julia/usable_sizeTwoFX/lean4:julia/usable_sizeCopy head branch name to clipboard