Theorem ZMod.valMinAbs_inj

Modification history

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