Theorem FractionalIdeal.mul_generator_self_inv

Modification history