Theorem FractionalIdeal.spanSingleton_inv

Modification history