Theorem NumberField.mixedEmbedding.fundamentalCone.interior_paramSet

Modification history