Theorem NumberField.mixedEmbedding.fundamentalCone.expMap_target

Modification history