Theorem NumberField.Units.abs_det_eq_abs_det

Modification history