Theorem NumberField.mixedEmbedding.negAt_apply_norm_isReal

Modification history