mathlib

ce26133b - feat(data/nat/(basic, modeq)): simple lemmas (#8647)