Theorem NumberField.mixedEmbedding.normAtAllPlaces_normLeOne

Modification history