Theorem NumberField.mixedEmbedding.normAtAllPlaces_nonneg

Modification history