mathlib3

767c8c59 - feat(data/int/basic): add nat_abs_ne_zero (#7350)