Theorem NumberField.mixedEmbedding.fundamentalCone.smul_mem_iff_mem

Modification history