Theorem NumberField.Units.exist_unique_eq_mul_prod

Modification history