Theorem NumberField.fractionalIdeal_rank

Modification history