PR #2158 feat(data/zmod): lemmas about totient and zmod

feat(data/zmod): lemmas about totient and zmod #2158

mergify merged 8 commits into master from pow_totient

feat(data/zmod): lemmas about totient and zmod

de5dbb17

cipher1024 assigned

jcommelin 6 years ago

docstring

9cbe3dec

jcommelin requested changes on 2020-03-16

Merge remote-tracking branch 'origin/master' into HEAD

663fffaa

Changes based on Johan's comments

e804f55d

jcommelin approved these changes on 2020-03-19

jcommelin added ready-to-merge

fix build

6daecad1

jcommelin commented on 2020-03-19

subsingleton (units(zmod 2))

93b7ef5c

Merge branch 'master' into pow_totient

187b0602

Merge branch 'master' into pow_totient

a6cd9f58

mergify merged d12bbc00 into master 6 years ago

mergify deleted the pow_totient branch 6 years ago

Reviewers

jcommelin

Assignees

jcommelin

Labels

ready-to-merge

Milestone

No milestone