Theorem ZMod.one_eq_zero_iff

Modification history

2025-03-17 01:20
Mathlib/Data/ZMod/Basic.lean
feat: add some elementary number theory lemmas (#22989) …
Added ZMod.one_eq_zero_iffView on Github →