Def NumberField.mixedEmbedding.fundamentalCone.integralPointEquivNorm

Modification history