Prefer a chat interface with context about you and your work?
A correction on: "Some nondiffeomorphic homeomorphic homogeneous 7-manifolds with positive sectional curvature"