Removing unneeded @chebmatrix/times, which wasn’t finished anyway.