Theorem NumberField.mixedEmbedding.fundamentalCone.expMap_smul

Modification history