Theorem Char.card_pow_char_pow

Modification history

2023-06-26 10:09
Mathlib/NumberTheory/LegendreSymbol/GaussSum.lean
feat: port NumberTheory.LegendreSymbol.GaussSum (#5419) …
Added Char.card_pow_char_powView on Github →