Theorem NumberField.mixedEmbedding.normAtComplexPlaces_polarSpaceCoord_symm

Modification history