Theorem ZMod.frobenius_zmod

Modification history

2023-06-07 01:25
Mathlib/FieldTheory/Finite/Basic.lean
chore: tidy various files (#4757)
Added ZMod.frobenius_zmodView on Github →