FLT/Mathlib/NumberTheory/Padics/
28 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- HeightOneSpectrum.lean 12 declarations
- PadicIntegers.lean 16 declarations
FLT/Mathlib/NumberTheory/Padics/28 declarations, 0 contain sorry, 0 declared as axioms; 2 files