Theorem NumberField.Embeddings.finite_of_norm_le

Modification history