Theorem FractionalIdeal.exists_eq_spanSingleton_mul

Modification history