Theorem NumberField.mixedEmbedding.fundamentalCone.preimage_of_IdealSetMap

Modification history