mathlib3

2c2cbb0d - feat(data/nat/prime): monoid.prime_pow and docs (#1772)

feat(data/nat/prime): monoid.prime_pow and docs (#1772) * feat(data/nat/prime): monoid.prime_pow and docs From the perfectoid project. Also add some documentation. * Add backticks in docs