FLT/Mathlib/NumberTheory/NumberField/Completion.lean
0 declarations, 0 contain sorry, 0 declared as axioms
TODO
Rename InfinitePlace.Completion.Rat.norm_infinitePlace_completion to
Rat.norm_infinitePlace_completion
Imports (3)
Imported by 1 file
No declarations listed.