Theorem NumberField.mixedEmbedding.fundamentalCone.expMapBasis_apply'

Modification history