Theorem NumberField.Units.regOfFamily_eq_det

Modification history