Theorem NumberField.mixedEmbedding.pos_of_not_mem_negAt_plusPart

Modification history