Theorem IsPrimitiveRoot.zmodEquivZPowers_apply_intCast

Modification history

2026-10-27 12:01
Mathlib/RingTheory/RootsOfUnity/PrimitiveRoots.lean
chore: rename `coe_int` lemmas to `intCast` (#44826) …
Added IsPrimitiveRoot.zmodEquivZPowers_apply_intCastView on Github →