mathlib

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