Def NumberField.InfinitePlace.Completion.extensionEmbedding

Modification history