Theorem NumberField.mixedEmbedding.neg_of_mem_negA_plusPart

Modification history