Theorem NumberField.mixedEmbedding.expMap_apply

Modification history