mathlib

76f41e7e - chore(data/nat): split out data/nat/pow (#7758)

chore(data/nat): split out data/nat/pow (#7758) Split lemmas about the power operation on natural numbers into its own file; slightly reduces imports. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>