FLT/Mathlib/NumberTheory/NumberField/InfinitePlace/
2 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- Basic.lean 1 declarations
- Completion.lean 1 declarations
FLT/Mathlib/NumberTheory/NumberField/InfinitePlace/2 declarations, 0 contain sorry, 0 declared as axioms; 2 files