OAI/NumberTheory/DirichletL/Arithmetic/
367 declarations, 0 contain sorry, 0 declared as axioms; 7 files
Files
- EisensteinCoordinates.lean 38 declarations
- EisensteinEmbedding.lean 59 declarations
- EisensteinIdeals.lean 71 declarations
- IdealMobius.lean 71 declarations
- LatticeCount.lean 32 declarations
- NormFiberMellin.lean 40 declarations
- SquarefreeDivisors.lean 56 declarations