Theorem NumberField.mixedEmbedding.normAtPlace_apply_of_isComplex

Modification history