feat(data/fin/tuple/nat_antidiagonal): add `antidiagonal_tuple` (#13031)
feat(data/fin/tuple/nat_antidiagonal): add `antidiagonal_tuple` (#13031)





leanprover-community/mathlib,leanprover-community/mathlib