Def NumberField.InfinitePlace.Completion.extensionEmbedding_of_isReal

Modification history