Theorem NumberField.mixedEmbedding.normAtPlace_mixedSpaceOfRealSpace

Modification history