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 ⓘ |