Theorem FractionalIdeal.spanSingleton_div_spanSingleton

Modification history