Theorem NumberField.mixedEmbedding.fundamentalCone.isCompact_compactSet

Modification history