feat: suggestions for some size/count/length confusions#11588

robsimmons wants to merge 1 commit intomasterleanprover/lean4:masterfrom

count-length-sizeleanprover/lean4:count-length-sizeCopy head branch name to clipboard