Theorem NumberField.Units.finrank_mul_regOfFamily_eq_det

Modification history