Theorem FractionalIdeal.mem_inv_iff

Modification history