Theorem NumberField.mixedEmbedding.logMap_normAtAllPlaces

Modification history