mathlib3

refactor(data/list/nat_antidiagonal): extend to `enat`

#18581

Open