Theorem NumberField.mixedEmbedding.mem_negAt_plusPart_of_mem

Modification history