Theorem NumberField.Units.regOfFamily_eq_det'

Modification history