Theorem FractionalIdeal.zero_of_num_eq_bot

Modification history