Theorem NumberField.mixedEmbedding.fundamentalCone.existsUnique_preimage_of_mem_integerSet

Modification history