The singleton-word language is linear

theorem singletonWordLanguage_is_Linear {T : Type} [Fintype T] (w : List T) : is_Linear (singletonWordLanguage w)

The singleton-word language {w} is linear.