Theorem NumberField.mixedEmbedding.normLeOne_eq_primeage_image

Modification history