Theorem NumberField.mixedEmbedding.normAtComplexPlaces_apply_isReal

Modification history