Cleanup/rework invariant subspaces notes. Properly introduce the characteristic polynomial