Theorem FractionalIdeal.le_spanSingleton_mul_iff

Modification history