Theorem ZMod.val_add_of_le

Modification history

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