Theorem NumberField.mixedEmbedding.fundamentalCone.logMap_expMap

Modification history