Theorem NumberField.det_basisOfFractionalIdeal_eq_absNorm

Modification history