feat: introduce `List.Cursor.pos` as an abbreviation for `prefix.length`#10642

sgraf812 merged 1 commit intomasterleanprover/lean4:masterfrom

sg/cursor-posleanprover/lean4:sg/cursor-posCopy head branch name to clipboard