Theorem NumberField.mixedEmbedding.normAtAllPlaces_norm_at_real_places

Modification history