Theorem FractionalIdeal.spanSingleton_mul_spanSingleton

Modification history