Theorem NumberField.mixedEmbedding.convexBodyLtFactor_lt_pos

Modification history