Lemma integerU32Vec3TWFDecidable : forall (t : integerU32Vec3T), {integerU32Vec3TWF t}+{~integerU32Vec3TWF t}.
