Theorem LinearMap.polyCharpoly_coeff_isHomogeneous

Modification history