Theorem NumberField.InfinitePlace.Completion.Rat.norm_infinitePlace_completion

Modification history