Theorem NumberField.mixedEmbedding.fundamentalCone.mem_normLeOne

Modification history