Theorem NumberField.mixedEmbedding.iUnion_negAt_plusPart_union

Modification history