Theorem Ideal.span_singleton_pow

Modification history