Theorem NumberField.mixedEmbedding.normAtPlace_apply_isComplex

Modification history