Theorem NumberField.mixedEmbedding.fundamentalCone.normAtAllPlaces_normLeOne

Modification history