Theorem NumberField.mixedEmbedding.negAt_apply_of_isReal_and_mem

Modification history