Theorem ZMod.eq_neg_of_valMinAbs_eq_neg_valMinAbs

Modification history

2025-10-22 17:48
Mathlib/Data/ZMod/ValMinAbs.lean
feat(ValMinAbs): add lemmas (#28837)
Added ZMod.eq_neg_of_valMinAbs_eq_neg_valMinAbsView on Github →