Theorem NumberField.mixedEmbedding.fundamentalCone.ne_zero_of_mem_integerSet

Modification history