Theorem NumberField.prod_abs_eq_one

Modification history