isSimpleConnected
P147443
predicate
Indicates that a topological space is path-connected and every loop within it can be continuously contracted to a point (i.e., it has trivial fundamental group).