Theorem NumberField.mixedEmbedding.fundamentalCone.nonneg_of_mem_compactSet

Modification history