Theorem NumberField.mem_span_basisOfFractionalIdeal

Modification history