Theorem NumberField.mixedEmbedding.fundamentalCone.volume_frontier_normLeOne

Modification history