Theorem NumberField.mixedEmbedding.fundamentalCone.mem_of_normAtPlace_eq

Modification history