With their differing workloads in mind, here is a look at how Mets pitchers Matt Harvey and Jacob deGrom have compared in some statistical areas this postseason.