Theorem FractionalIdeal.not_inv_le_one_of_ne_bot

Modification history