Theorem NumberField.mixedEmbedding.convexBodyLT_neg_mem

Modification history