Theorem FractionalIdeal.inv_zero'

Modification history