Theorem FractionalIdeal.map_one_div

Modification history