Theorem NumberField.mixedEmbedding.volume_eq_two_pow_mul_volume_plusPart

Modification history