Properties and examples of Kobayashi hyperbolic Riemannian manifolds | Synapse