I think it's little redundant to say that Scott, Hope, Darren and Hank are introduced. I mean, well yeah, it's an Ant-Man film, of course they are introduced. With that same logic, you gotta say that in Thor the film Thor and Loki are introduced and so.
Like I said, I think it's redundant. Unless somebody explains me how that is not redundant.