Theorem NumberField.mixedEmbedding.fundamentalCone.expMapBasis_source

Modification history