feat: add `List.commonPrefix` and its lemmas#994

chabulhwi wants to merge 1 commit intoleanprover-community:mainleanprover-community/batteries:mainfrom

chabulhwi:List.commonPrefixchabulhwi/batteries:List.commonPrefixCopy head branch name to clipboard