Theorem ZMod.val_mul_of_lt

Modification history

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