Theorem FractionalIdeal.spanSingleton_mul_inv

Modification history