`OAI/NumberTheory/CubicGauss/CompositeGauss.lean`

GitHub source file

0 declarations, 0 contain sorry, 0 declared as axioms

Composite cubic symbols, multiplicative Gauss sums and Möbius identities.

No declarations listed.