Theorem NumberField.mixedEmbedding.fundamentalCone.logMap_normAtAllPlaces

Modification history