Theorem NumberField.mixedEmbedding.normAtAllPlaces_normAtAllPlaces

Modification history