mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(data/zmod/basic): val_min_abs'

Open ChrisHughes24 opened this issue 3 years ago • 0 comments

The alternative version of val_min_abs. Returns integer on the interval [-n/2, n/2) instead of the interval (-n/2, n/2]. This is what machine integers do, a signed integer is an integer in the interval [2^n, 2^n)

Open in Gitpod

ChrisHughes24 avatar Oct 11 '22 13:10 ChrisHughes24