Theorem NumberField.FinitePlace.prod_eq_inv_abs_norm_int

Modification history