Theorem Int.abs_sign_of_ne_zero

Modification history

2025-09-11 08:59
Mathlib/Algebra/Order/Group/Unbundled/Int.lean
chore: rename Int.abs_sign_of_nonzero (#29296) …
Added Int.abs_sign_of_ne_zeroView on Github →