Theorem NumberField.mixedEmbedding.fundamentalCone.closure_paramSet_ae_interior

Modification history