basic): val_min_abs (#1548)

Commit

6 years ago

feat(data/zmod/basic): val_min_abs (#1548) * feat(data/zmod/basic): val_min_abs * Update basic.lean * docstring and fix `zmodp` versions

References

Author

ChrisHughes24

Committer

mergify[bot]

Parents