Theorem NumberField.mixedEmbedding.fundamentalCone.expMap_apply

Modification history