`FLT/Mathlib/RingTheory/DedekindDomain/`

30 declarations, 0 contain sorry, 0 declared as axioms; 3 files

Folders

Ideal/ 1 files, 4 declarations

Files

AdicValuation.lean 4 declarations
FiniteAdeleRing.lean 22 declarations