Theorem FractionalIdeal.fg_of_isUnit

Modification history