Theorem FractionalIdeal.div_zero

Modification history