Theorem NumberField.mixedEmbedding.fundamentalCone.expMap_basis_of_ne

Modification history