Theorem FractionalIdeal.spanSingleton_eq_spanSingleton

Modification history