Theorem NumberField.mixedEmbedding.fundamentalCone.closure_normLeOne_subset

Modification history