Theorem FractionalIdeal.spanSingleton_div_self

Modification history