Theorem NumberField.mixedEmbedding.fundamentalCone.unit_smul_mem_iff_mem_torsion

Modification history