Theorem NumberField.mixedEmbedding.fundamentalCone.expMap_source

Modification history