Theorem NumberField.mixedEmbedding.fundamentalCone.preimageOfIntegralPoint_mixedEmbedding

Modification history