Theorem FractionalIdeal.eq_spanSingleton_of_principal

Modification history