Exotic definite four-manifolds with non-cyclic fundamental group

Robert Harris, Patrick Naylor, B. Doug Park

We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.