Theorem ZMod.val_sub

Modification history

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