Theorem NumberField.mixedEmbedding.fundamentalCone.closure_paramSet

Modification history