Theorem ZMod.intCast_abs_mod_two

Modification history

2025-08-01 23:04
Mathlib/Data/ZMod/Basic.lean
feat(*): add `simp`/`gcongr` attrs and use them (#27718) …
Added ZMod.intCast_abs_mod_twoView on Github →