FLT/DedekindDomain/
198 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Folders
- Completion/ 1 files, 59 declarations
- FiniteAdeleRing/ 6 files, 78 declarations
Files
- AdicValuation.lean 37 declarations
- IntegralClosure.lean 24 declarations