Theorem NumberField.mixedEmbedding.fundamentalCone.realSpaceToLogSpace_apply

Modification history