mathlib

cc75e4ef - chore(data/nat/cast): a few `simp`/`norm_cast` lemmas (#4549)