Exotic definite four-manifolds with non-cyclic fundamental group

We construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4 4 -manifold with non-cyclic fundamental group Z / 2 × Z / 2 Z/2 Z/2.