Theorem NumberField.mixedEmbedding.fundamentalCone.sum_expMap_symm_apply

Modification history