isGromovHyperbolic
P160163
predicate
Indicates that a metric space satisfies Gromov’s hyperbolicity condition, meaning its large-scale geometry behaves like that of a negatively curved (hyperbolic) space.