Theorem NumberField.FinitePlace.prod_eq_inv_abs_norm

Modification history