Theorem FractionalIdeal.spanSingleton_one

Modification history