Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finite_field.cast_card_eq_zero

Modification history

2020-05-17 20:01
src/field_theory/finite.lean
refactor(field_theory): preparations for Chevalley–Warning (#2590) …
Added finite_field.cast_card_eq_zeroView on Github →