Theorem ZMod.val_neg_of_ne_zero

Modification history

2023-10-02 06:27
Mathlib/Data/ZMod/Basic.lean
feat: some lemmas about List and ZMod (#7424)
Added ZMod.val_neg_of_ne_zeroView on Github →