Theorem NumberField.mixedEmbedding.fundamentalCone.expMapBasis_apply

Modification history