Def NumberField.mixedEmbedding.fundamentalCone.intNorm

Modification history