Theorem Ideal.pow_multiset_sum_mem_span_pow

Modification history