There have been two postseason no-hitters in MLB history, one by a pitcher from each league. For the AL, on October 8, 1956, Don Larsen of the New York Yankees threw a perfect game in Game 5 of that year's World Series against the Brooklyn Dodgers. The feat had nearly been accomplished nine years earlier by the Yankees' Bill Bevens, who came within one out of a no-hitter (though not a perfect game) against the Brooklyn Dodgers in Game 4 of the 1947 World Series, only to lose the game on a pinch-hit double by Cookie Lavagetto. There have been other one-hitters in the World Series, with the lone hit coming earlier in the game than in Bevens' effort. For the NL, on October 6, 2010, Roy Halladay of the Philadelphia Phillies, in the first postseason appearance of his career, threw the second no-hitter in postseason history, in Game 1 of the Phillies' NLDS against the Cincinnati Reds.

Is the following statement correct based on the text

has anyone pitched a no hitter in the world series
yes