Theorem NumberField.mixedEmbedding.fundamentalCone.expMap_symm_apply

Modification history