Theorem NumberField.mixedEmbedding.fundamentalCone.exists_unitSMul_mem_integerSet

Modification history