Theorem FractionalIdeal.invertible_iff_generator_nonzero

Modification history