Theorem NumberField.mixedEmbedding.fundamentalCone.isBounded_normLeOne

Modification history