Theorem NumberField.mixedEmbedding.norm_eq_norm

Modification history