Theorem NumberField.mixedEmbedding.norm_normAtAllPlaces

Modification history