Commit 2025-09-11 08:59 e9d357f8
View on Github →chore: rename Int.abs_sign_of_nonzero (#29296) See discussion at https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/Naming.3A.20ne_zero.20vs.20nonzero/with/537369079.
chore: rename Int.abs_sign_of_nonzero (#29296) See discussion at https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/Naming.3A.20ne_zero.20vs.20nonzero/with/537369079.