`FLT/NumberField/`

163 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Folders

Completion/ 2 files, 34 declarations
InfinitePlace/ 1 files, 37 declarations
Padics/ 1 files, 11 declarations

Files

AdeleRing.lean 52 declarations
DiscriminantBounds.lean 17 declarations
HeightOneSpectrum.lean 2 declarations
InfiniteAdeleRing.lean 10 declarations