mathlib3

feat(data/nat/prime): monoid.prime_pow and docs

#1772

Merged