Theorem NumberField.mixedEmbedding.fundamentalCone.exists_unique_preimage_of_integralPoint

Modification history