Theorem Matrix.coeff_charpoly_mem_ideal_pow

Modification history