Theorem gaussSum_frob

Modification history

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