Theorem FractionalIdeal.isFractional_adjoin_integral

Modification history