Theorem NumberField.mixedEmbedding.normAtAllPlaces_apply

Modification history