Theorem NumberField.mixedEmbedding.fundamentalCone.zero_mem_compactSet

Modification history