Theorem NumberField.mixedEmbedding.fundamentalCone.volume_interior_eq_volume_closure

Modification history