finite-dimensional real hyperbolic spaces

GPTKB entity