Theorem ZModModule.char_nsmul_eq_zero

Modification history

2024-10-28 07:22
Mathlib/Data/ZMod/Basic.lean
feat: `ZMod`-module lemmas (#17693) …
Added ZModModule.char_nsmul_eq_zeroView on Github →