Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finite_field.sum_pow_lt_card_sub_one

Modification history

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