mathlib

ba129891 - cleanup charpoly and cofactor expansion