It is a contemporary belief that Indra is a designation assigned to the King of Gods but there is no official documentation proving the theory.
Indra is a designation. This designation is assigned to the King of Gods. This is a contemporary belief. There is no official documentation. This official documentation is proving the theory.