Theorem NumberField.mixedEmbedding.negAt_apply_abs_of_isReal

Modification history