isSimplyConnectedHomologySphere

Indicates that a topological space is both simply connected (every loop can be contracted to a point) and has the same homology groups as a sphere.