Theorem NumberField.mixedEmbedding.negAt_apply_isComplex

Modification history