mathlib3

feat(data/zmod/basic): val_min_abs

#1548

Merged