Theorem NumberField.mixedEmbedding.fundamentalCone.expMapBasis_pos

Modification history