Theorem NumberField.Units.torsion_eq_one_or_neg_one_of_odd_finrank

Modification history