Theorem FractionalIdeal.spanSingleton_pow

Modification history