Theorem jacobiSum_mem_algebraAdjoin_of_pow_eq_one

Modification history

2024-10-01 14:00
Mathlib/NumberTheory/JacobiSum/Basic.lean
feat(NumberTheory/JacobiSum/Basic): add lemmas on value of Jacobi sum (#17003) …
Added jacobiSum_mem_algebraAdjoin_of_pow_eq_oneView on Github →