The singleton-word language is indexed

theorem singletonWordLanguage_is_Indexed {T : Type} [Fintype T] (w : List T) : is_Indexed (singletonWordLanguage w)

The singleton-word language {w} is indexed.