Theorem NumberField.mixedEmbedding.fundamentalCone.integralPoint_torsionSMul_stabilizer

Modification history