`FLT/Mathlib/NumberTheory/NumberField/`

32 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Folders

InfinitePlace/ 2 files, 2 declarations

Files

AdeleRing.lean 11 declarations
Completion.lean 0 declarations
FiniteAdeleRing.lean 8 declarations
InfiniteAdeleRing.lean 11 declarations