Theorem NumberField.mixedEmbedding.realSpace.volume_eq_zero

Modification history