mathlib

40362122 - feat(algebra/big_operators/nat_antidiagonal): a few more lemmas (#4783)