Theorem NumberField.mixedEmbedding.fundamentalCone.exists_unitSMul_mem_integralPoint

Modification history