Prefer a chat interface with context about you and your work?
Manifolds with holonomy group $Z_2\oplus Z_2$ and first Betti number zero