Theorem coeff_minpolyDiv_sub_pow_mem_span

Modification history