Theorem NumberField.mixedEmbedding.normAtComplexPlaces_mixedSpaceOfRealSpace

Modification history