Theorem NumberField.mixedEmbedding.fundamentalCone.compactSet_eq_union_aux₂

Modification history