Theorem FractionalIdeal.div_one

Modification history