Theorem NumberField.mixedEmbedding.normAtPlace_negAt

Modification history