Theorem NumberField.mixedEmbedding.volume_eq_two_pow_mul_two_pi_pow_mul_integral

Modification history