Theorem NumberField.mixedEmbedding.mixedEmbedding_apply_isComplex

Modification history