Theorem NumberField.mixedEmbedding.normAtAllPlaces_mixedEmbedding

Modification history