Theorem NumberField.mixedEmbedding.fundamentalCone.expMapBasis_nonneg

Modification history