Theorem NumberField.mixedEmbedding.fundamentalCone.subset_interior_normLeOne

Modification history