Theorem NumberField.mixedEmbedding.normAtComplexPlaces_apply_isComplex

Modification history