mathlib3

9a0d2b23 - chore(data/nat/parity): rename type variable (#6016)