Mamdani's wrong.
A real progressive is never going to come within sniffing distance of the presidency. After Bernie's primaries got rigged the Democrats were sued for running rigged primaries, they admitted it, and it's perfectly legal for them to do so.
That's what all those shiny superdelegates are for.
Further, you saw with the accusations of radical jihadism against AES and Zohran, and the weaponized SA allegation against Platner, and James Carville's public admission that they'd rather Republicans win than Socialists, that the Democratic Party has no intention of ever running a real progressive for president.