Theorem FractionalIdeal.isFractional_of_fg

Modification history