Indecomposable skeletons exist

A representation-finite algebra has a complete irredundant list of its finite-dimensional indecomposable modules: keep, in each isomorphism class of a complete list, the representative of least index.

theorem MultiplicativeBasisDeformations.exists_indSkeleton {k : Type u} [Field k] {A : Type v} [Ring A] [Algebra k A] (hA : IsRepresentationFinite k A) : Nonempty (IndSkeleton k A)

A representation-finite algebra has an indecomposable skeleton.