Theorem NumberField.mixedEmbedding.normAtAllPlaces_mem_fundamentalCone_iff

Modification history