Theorem NumberField.isUnit_iff_norm

Modification history