`OAI/NumberTheory/CubicGauss/Conjugation.lean`

GitHub source file

0 declarations, 0 contain sorry, 0 declared as axioms

Conjugation on Eisenstein integers, characters and Gauss sums.

No declarations listed.