Theorem NumberField.mixedEmbedding.fundamentalCone.torsion_unitSMul_mem_integralPoint

Modification history