Theorem NumberField.mixedEmbedding.normAtAllPlaces_eq_of_normAtComplexPlaces_eq

Modification history