User:Nussun05/List of red supergiants with directly measured radii