Theorem NumberField.mixedEmbedding.normAtComplexPlaces_normAtAllPlaces

Modification history