Theorem NumberField.mixedEmbedding.expMap_target

Modification history