Theorem NumberField.mixedEmbedding.volume_eq_zero

Modification history