Theorem NumberField.mixedEmbedding.mem_normLeOne

Modification history