Theorem NumberField.mixedEmbedding.fundamentalCone.expMap_pos

Modification history