Theorem NumberField.mixedEmbedding.fundamentalCone.idealSetMap_apply

Modification history