mathlib3

49aa1064 - docs(data/*/nat_antidiagonal): add one module docstring and harmonise others (#7919)