Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zmod.frobenius_zmod

Modification history

2021-03-24 16:04
src/field_theory/finite/basic.lean
feat(tactic/lint): linter for @[class] def (#6061) …
Modified zmod.frobenius_zmodView on Github →
2020-09-27 08:58
src/field_theory/finite/basic.lean
refactor(*): create directory field_theory/finite (#4212) …
Added zmod.frobenius_zmodView on Github →