Theorem NumberField.Units.rank_modTorsion

Modification history