Theorem ZMod.natAbs_valMinAbs_eq_natAbs_valMinAbs

Modification history

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