Theorem NumberField.mixedEmbedding.normAtPlace_nonneg

Modification history