Indecomposability (constructive mathematics)

Summary