Theorem NumberField.mixedEmbedding.fundamentalCone.expMap_add

Modification history