Theorem multiset.nat.antidiagonal_succ_succ'

feat(data/{list,multiset,finset}/nat_antidiagonal): add lemmas to remove elements from head and tail of antidiagonal (#12028) …