Theorem FractionalIdeal.spanSingleton_le_iff_mem

Modification history