Theorem coeff_charpoly_mem_ideal_pow

Modification history