Theorem NumberField.mixedEmbedding.fundamentalCone.norm_normAtAllPlaces

Modification history