Theorem ZMod.abs_valMinAbs_eq_abs_valMinAbs

Modification history

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