Theorem Ideal.sum_pow_mem_span_pow

Modification history