Theorem FractionalIdeal.abs_det_basis_change

Modification history