I think there were more than one progressive in that race (and my heart's pick would have been Warren) but I think Bernie is, for better or worse, the politician who most people would think of as a progressive. Googling progressive + Bernie Sanders gives you more results than progressive + "Elizabeth Warren" and progressive + "Alexandria Orcasio-Cortez (or AOC)" combined so I would say he is the one with the most name recognition...so yes, I think in popular opinion, he owned the title in the last race. That will probably change over time.