Theorem NumberField.Units.torsionOrder_eq_two_of_odd_finrank

Modification history