Theorem NumberField.mixedEmbedding.fundamentalCone.expMap_basis_of_eq

Modification history