What is a no hitter in baseball?

May 11, 2022