Theorem FractionalIdeal.dual_zero

Modification history