isSimplyConnectedAtInfinity

P186733
predicate

Indicates that, outside every sufficiently large bounded region, the space has no nontrivial loops—i.e., its “end” behaves like a simply connected space.

Sample triples (1)

Subject Object
4-sphere S^4 true