Theorem FractionalIdeal.eq_spanSingleton_mul

Modification history