Theorem NumberField.mixedEmbedding.logMap_expMap

Modification history