Theorem FractionalIdeal.map_div

Modification history