Theorem NumberField.mixedEmbedding.convexBodyLTFactor_ne_zero

Modification history