Theorem NumberField.mixedEmbedding.fundamentalCone.realSpaceToLogSpace_expMap_symm

Modification history