prime): monoid.prime_pow and docs
#1772

Merged

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

mergify merged 3 commits into master from primes-pow

sgouezel commented on 2019-12-03

sgouezel added ready-to-merge

sgouezel approved these changes on 2019-12-03

cipher1024 force-pushed the master branch from 51677da6 to b031290b 6 years ago

urkud removed ready-to-merge

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

063b0f1f

Add backticks in docs

e4e991d7

urkud force pushed from c3189f92 to e4e991d7 6 years ago

urkud added ready-to-merge

Merge branch 'master' into primes-pow

4f0363cb

mergify merged 2c2cbb0d into master 6 years ago

mergify deleted the primes-pow branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone