PR #1548 feat(data/zmod/basic): val_min_abs

feat(data/zmod/basic): val_min_abs #1548

mergify merged 4 commits into master from val_min_abs

feat(data/zmod/basic): val_min_abs

f5c5b386

alexjbest commented on 2019-10-13

Update basic.lean

1df632f4

robertylewis commented on 2019-10-15

robertylewis added needs-documentation

docstring and fix `zmodp` versions

6005c580

ChrisHughes24 removed needs-documentation

ChrisHughes24 added awaiting-review

jcommelin approved these changes on 2019-10-16

jcommelin removed awaiting-review

jcommelin added ready-to-merge

Merge branch 'master' into val_min_abs

aac790f0

mergify merged 09fd631b into master 6 years ago

mergify deleted the val_min_abs branch 6 years ago

Reviewers

jcommelin

robertylewis

alexjbest

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone